1) A check mark.
检查符号
2) sign detection
符号检查
3) 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互斥算法的时钟偏移的界进行了分析。
4) checking off symbol
查讫符号
6) character check
字符检查
补充资料：检查
检查
医务人员运用五官和手及各种医疗设备对人体所进行的各种检查、观察。如体格检查、心电图检查、X线检查等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条