硬件确证检验程序的产生 硬件验证、仿真、制造后调试及联机监控
Generating Hardware Assertion Checkers For Hardware Verificaiton, Emulation, Post-Fabrication Debugging and On-Line Monitoring
摘要
基于确证的设计是一个功能强大的范式,该范式促进了电子设计中质量的改进。确证是一语句,它被用来描述所能包括的性质(即设计意图)以便在整个设计周期甚至产品的生产周期主动地检验正确性。本书作者介绍了许多使用现代硬件确证语言产生检验程序电路自动生成的技术。如今,在现代电子集成电路及系统的开发中,70%的时间是花费在验证上。而且系统越来越需要未经全面的验证就被送入费用昂贵的制造过程,人们通常用验证危机来描述这一现象。多年以来,研发工程师能够使用的新验证方法进展不大。
出处
《国外科技新书评介》
2009年第7期17-17,共1页
Scientific & Technology Book Review
-
1刘超群,赵胤宇.碎纸片拼接复原的数学模型[J].内蒙古科技与经济,2014(11):79-81.
-
2Mullm,JK,承雁.三种拚写检验程序的说明[J].软件,1990,11(11):945-949.
-
3姜鸣.构件集成的力量[J].互联网周刊,2003(34):58-59.
-
4蔡大华.浅谈单片机系统的自开发方法[J].电脑知识与技术(认证考试),2004(10M):79-81.
-
5王晓雷,赵方,巫付专.一种基于DSP的实时仿真方法[J].中原工学院学报,2006,17(2):24-27.
-
6曹星平,易东云,吴翊.基于神经网络的时间序列预测方法进展[J].电脑与信息技术,1999,7(6):1-3. 被引量:16
-
7李剑,谷俊杰.PID参数整定方法进展[J].电力情报,2001(3):11-13. 被引量:15
-
8周建儒.C和C++语言产生随机数的过程分析[J].电脑知识与技术,2015,0(12):104-105.
-
9ARM发布Keil Vision4集成开发环境为嵌入式软件开发提供简化的开发环境[J].电子与电脑,2009(4):70-70. 被引量:2
-
10杨英.诊断板[J].管理观察,1996,0(8):32-32.