1 Decision tables offer a simple, visual aid, and they can be applied in knowledge-based systems to perform verification processes efficiently.
1决策表提供了一个简单的，可视化的帮助，它可以在知识库系统中被使用，来高效的执行验证过程。
Register the verification points for each condition of the decision.
为每一个决策条件注册验证点。
Decision diagram model is a utility to represent data dependence between signals in VLSI designs, and is widely used in VLSI design verification.
决策图模型描述了VLSI设计信号间的数据依赖关系，在VLSI设计验证中有广泛的应用。
Model checking based on decision diagram causes memory explosion in integer multiplier verification. An efficient solution to this problem is backward substitution method.
采用基于决策图的模型检验方法对整数乘法器验证时会出现内存爆炸，解决该问题的一种有效途径是采用反向替换方法。
It is a good decision because police verification process is lengthy and unnecessary delay is there.
好决定。因为警方认证过程太长，而且是没有必要的耽搁。
It is a good decision because police verification process is lengthy and unnecessary delay is there.
好决定。因为警方认证过程太长，而且是没有必要的耽搁。
应用推荐