论文部分内容阅读
该项技术是国家重点课题——先进的ＣＡＤ技术和形式验证工具的攻关成果。主要研究内容是从逻辑结构获取逻辑功能的理论和方法，并在此基础上开发了逻辑结构分析系统和形式验证系统软件工具。软件用于对逻辑设计的功能分析和验证，弥补逻辑功能分析手段的不足并解决对超大...
The technology is a key national issue - advanced CAD technology and formal verification tools research results. The main research content is the theory and method of obtaining logical functions from the logical structure. Based on this, the software of logical structure analysis system and formal verification system is developed. Software for functional analysis and verification of logic design to make up for lack of logic function analysis tools and to solve the ...