形式验证技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
asp.net 页面验证码控件.采用inherits方式调用.可以设置背景色,干扰色和非对称图片 支持中文验证
随着半导体制造技术不断的进步，SOC(System On a Chip)是未来IC产业技术研究关注的重点。由于SOC设计的日趋复杂化，芯片的面积增大，芯片功能复杂程度增大，其设计验证工作也愈加繁琐。复杂ASIC设计功能验证已经成为整个设计中...
嵌人式飞行参数传感系统的设计与可行性验证 摘要: 简要介绍了嵌入式飞行参数传感系统( F A D S ) 的空气动力学模型， 并以美国的X - 3 3飞行器为例， 详细描述了该系
本产品是能够对嵌入式硬件系统进行完整模拟的软件系统。用户可以在该系统上模拟运行嵌入式软件，无需相应的硬件即可对嵌入式软件进行测试与调试。系统支持用户根据待测系统的硬件组成，在现有组件库中选择相应的硬件型号，配置参数，搭建所需的硬件虚拟环境。...
随着半导体制造技术不断的进步，SOC(System On a Chip)是未来IC产业技术研究关注的重点。由于SOC设计的日趋复杂化，芯片的面积增大，芯片功能复杂程度增大，其设计验证工作也愈加繁琐。复杂ASIC设计功能验证已经成为整个设计中...
简要介绍了嵌入式飞行参数传感系统(FADS)的空气动力学模型，并以美国的X-33飞行器为例，详细描述了该系统的算法实现。设计了FADS系统的验证方法，并且列出了另外一种FADS系统结构下的验证结果。结