1) layered verification
层次化验证
1.
The feature of SOC function verification is first introduced in this paper briefly, and then layered verification approach in the SOC function verification is mainly provided and describe how to apply layered verification approach to module level verification, subsystem level verification and system level verification.
首先对SOC功能验证做了简要介绍,然后主要讨论了功能验证中的层次化验证方法,并以一个基于AMBA总 线架构的SOC系统为例,从模块级、子系统级和系统级三个方面分别阐述了如何用层次化的方法进行验证。
2) Layered test-bench
层次化验证平台
1.
This paper introduces the structure of reference verification methodology(RVM) layered test-bench,and analyses the basic classes of RVM and their relation.
介绍了RVM的层次化验证平台的结构,描述了RVM提供的基类和它们相互之间的关系。
3) high-level formal verification
高层次形式验证
4) Hierarchical Layout Verification
层次版图验证
5) Experiment arrangement of ideas
实验层次
6) Experience level
体验层次
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条