1) symbolic model checking
符号模型检查
1.
We highlight the use of SAT algorithm to solve lots of EDA problems in such diverse areas as test pattern generation, symbolic model checking, combinational equivalence checking, and verification for RTL design.
介绍布尔可满足性 (SAT)求解程序在测试向量自动生成、符号模型检查、组合等价性检查和RTL电路设计验证等电子设计自动化领域中的应用 着重阐述如何在算法中有机地结合电路拓扑结构及其与特定应用相关的信息 ,以便提高问题求解效率 最后给出下一步可能的研究方
2.
By analyzing the symbolic model checking process, we choose to store the parametric variables separately in symbolic form a.
说明了 HYTECH工具中所采用的参数分析方法对系统描述能力的限制 ;提出了分离参数变量和系统状态变量的符号模型检查算法 ,并对用 HYTECH不能分析的 Fischer互斥算法的时钟偏移的界进行了分析。
2) sign detection
符号检查
3) A check mark.
检查符号
4) symbolic model checking
符号模型检测
1.
A new symbolic model checking tool was built based on this algorithm.
并且基于该算法开发出新的符号模型检测工具。
5) symbolic model checking
符号模型检验
1.
Symbolic Model Checking Analysis for Atomicity of Netbill Protocol;
Netbill协议原子性的符号模型检验分析
2.
Binary Decision Diagram and symbolic model checking has made breakthrough in digital circuit design.
近年来 ,二叉判定图 BDD(Binary Decision Diagram )和符号模型检验在形式化验证数字电路设计中取得了突破性进展 。
3.
In the end,the symbolic model checking which can reduce the possibility of memory explosion was introduced.
文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法:标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术。
6) Symbolic model checking
符号化模型检测
1.
Verifying winning strategy with symbolic model checking;
基于符号化模型检测的对弈必胜策略验证
补充资料：监事会检查后及时作出检查报告的职权
监事会检查后及时作出检查报告的职权：监事会每次对企业进行检查结束后，应当及时作出检查报告。 检查报告的内容包括：企业财务以及经营管理情况评价；企业负责人的经营管理业绩评价以及奖惩、任免建议；企业存在问题的处理建议；国务院要求报告或者监事会认为需要报告的其他事项。 监事会不得向企业透露前款所列检查报告内容。――――――《国有企业监事会暂行条例》第9条
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条