1) hardware verification
硬件验证
1.
ANSI-C bounded model checker and hardware verification using CBMC;
ANSI-C语言的有界模型检测及其在硬件验证中的应用
2.
The traditional verification methods are: simulation, testing and emulation, but these methods are not complete, formal verification methods are used into hardware design, then formal hardware verification technology is produced.
随后对用HOL系统进行硬件验证和验证中的关键技术:抽象技术、层次化验证技术进行研究。
3) Software/hardware co-verification
软硬件协同验证
1.
With respect to the verification bottleneck of current digital ASICs design and for the purpose of describing and verifying design object in a higher abstract level,a software/hardware co-verification method is presented,the method is based on processor core model of SystemC and others model of Verilog.
针对当前专用数字集成电路设计中的验证瓶颈,为了在更高的抽象级别对设计时象进行描述和验证,提出一种软硬件协同验证方法。
2.
A number of vertex processing unit programs on the platform had been run using software/hardware co-verification methods.
在该平台上,采用软硬件协同验证的方法,成功地运行了多个顶点处理器程序。
4) hardware/software co-verification
软/硬件协同验证
1.
Implementation of efficient debug in virtual prototyping based on hardware/software co-verification;
基于虚拟原型机的软/硬件协同验证中高效调试手段的实现
5) hardware accelerated verification
硬件加速验证
6) HVL
硬件验证语言
1.
To reduce the time to set up test bench and improve the verification efficiency a new language-Hardware Verification Language (HVL) is presented.
为了缩短验证环境设计时间、提高验证效率,人们提出了一种新的语言——硬件验证语言 (Hardware Verification Language,HVL)。
补充资料：硬件验证
硬件验证
hardware verification
进行描述。系统描述的基础是某种形式的代数或逻辑的形式模型。常用的模型有用于组合逻辑的布尔或命题逻辑，用于时序逻辑的有限自动机及状态图。系统技术指标描述S和系统实现描述I之间的一致性关系可以有:相等(S=I)，等价(5.1)，逻辑班含(1冷S)，条件逻辑蕴含(C(itiput)冷(I冷S)，其中C(mPUt)为系统的运行环境)等几种。检验一致性所用的技术与所采用的形式模型密切相关。经常利用某些逻辑的特殊性质，开发专门的数据结构和算法，以支持该逻辑所需操作。比较有代表性的是布尔表达式的图形技术指标(规范)表示法(称之为有类型有序二进制判定图)，它对实现布尔运算非常有效，可用于验证两个布尔表达式和两个确定性莫尔机器之间的等价性。此外，还有拌演算与图验证法等方法。拜演算可用来描述各种验证方法的总框架。图验证法包括时序逻辑模型验证、形式语言内涵、跟踪理论和通信系统计算。 硬件验证已用于某些领域，如10万个晶体管的组合电路，220个状态量级的控制电路。有些功能很强但自动化程度较低的技术，如基于定理证明器的交互技术已用来验证简单微处理器的某些功能行为。从理论上讲，对于任意电路，完全自动化的验证通常是不可能的。有时硬件验证虽然可做，但由于花费太大，实际上是不现实的。如果硬件验证能降低成本，则将对缩短新产品开发周期，提高产品可靠性等十分有用。对于关系人类生命安全的医药、民航电子和核反应堆等系统，对于维修非常昂贵的管道和某些嵌人式系统，以及航天探测器等不可维修系统，硬件验证技术尤为重要。 (刘恩德)y ing]i即ya们zheng硬件验证(ha川明哪℃verinCation)检验所设计的系统是否满足规定的技术指标。具体讲，就是核对系统实现描述与技术指标描述的一致性。为此需给出两个描述的形式模型，要有两个描述之间一致性关系的形式概念，以及检验或证明一致性关系的某种方法。 可采用VE旧L一类的硬件描述语言或采用包含硬件和软件子系统的“广谱”系统描述语言对系统
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条