【摘要】 文章探讨面向XML规范的复杂数字逻辑建模与验证工具XModel的设计,XModel系统工具使用XML建模,可进行有效性验证,仿真验证通过后,可进行基于成熟第3方EDA工具的进一步时序验证、综合验证及FPGA验证。更多还原

【Abstract】 This project studies the design of a XML specification-based modeling and verification tool for complex digital logic system called XModel.XModel uses XML specification as the source language,and provides lexical analysis,syntax analysis and semantic analysis.It can finish the correct verification and function simulation of logic components.It can also generate the Verilog HDL descriptions in the XML descriptions of components,so as to do more verification with some Third Party EDA tools.Finally,they can finish the FPGA in-circuit verification.更多还原