论文部分内容阅读
该文中提出软件验证和硬件骓是对应的，但软件测试并不对应于硬件测试。还提出软推卸验证自身的特点：它的对象是设计，可以利用设计中所有的信息资料，可以深入设计内部分而治之。从而使得原来很难的软件验证工作变得容易多了。
从数字电路测试和验证的角度看软件测试和验证
【摘 要】
：
该文中提出软件验证和硬件骓是对应的，但软件测试并不对应于硬件测试。还提出软推卸验证自身的特点：它的对象是设计，可以利用设计中所有的信息资料，可以深入设计内部分而治之。从
【机 构】
：
北京工业大学计算机学院
【出 处】
：
第九届中国集成电路测试学术年会
【发表日期】
：
1999年期
其他文献
该文介绍了在数字化中频接收机中使用ＡＤＣ时必须考虑的重要因素，这些因素包括自动增益控制、抽样方式的选择及关键的ＡＤＣ指标。
如休构建网上数字化图书馆，借助的因特网技术，加速知识传播已成为新世纪国家科技、文化等全国竞争的关键。然而目前的因特风的网络系统不能适应数字化图书馆的巨量信息传输的需
为满足质量体系所要求的对于IC ATE测试量值的溯源需要，结合数字IC ATE的特点，研制了可用于数字IC ATE现场溯源的交直流传递标准器和相应的数据自理软件包，较好地解决了IC ATE测
巍巍清凉山,矗立延河边。山不算高,但爬到山顶,也要出一身汗。解放日报编辑部、新华社和中央印刷厂就设在半山的窑洞里。解放日报前任总编辑杨松,就长眠在山顶上的一棵松树