补充资料：硬件验证

　　
　　硬件验证
　　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一类的硬件描述语言或采用包含硬件和软件子系统的“广谱”系统描述语言对系统
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。