面向XML规范的复杂数字逻辑建模与验证
|
摘要
文章探讨面向XML规范的复杂数字逻辑建模与验证工具XModel的设计,XModel系统工具使用XML建模,可进行有效性验证,仿真验证通过后,可进行基于成熟第3方EDA工具的进一步时序验证、综合验证及FPGA验证。
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.
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.
引文
[1]周雯.CDLS的可重构组件式建模与验证[D].安徽师范大学,硕士学位论文,2014.
[2]Harris D M,Harris S L.Digital design and computer architecture[M].Elsevier,2012.
[3]Fulong Chen,Yunxiang Sun.FPGA-based elastic in-circuit debugging for complex digital logic design[J].International Journal of Autonomous and Adaptive Communications Systems,2017,10(3):303-319.
[4]Fulong Chen,Heping Ye,Jie Yang,et al.A Standardized Design Methodology for Complex Digital Logic Components of CyberPhysical Systems[J]Microprocessors and Microsystems,2015,(8):1245-1254.
[2]Harris D M,Harris S L.Digital design and computer architecture[M].Elsevier,2012.
[3]Fulong Chen,Yunxiang Sun.FPGA-based elastic in-circuit debugging for complex digital logic design[J].International Journal of Autonomous and Adaptive Communications Systems,2017,10(3):303-319.
[4]Fulong Chen,Heping Ye,Jie Yang,et al.A Standardized Design Methodology for Complex Digital Logic Components of CyberPhysical Systems[J]Microprocessors and Microsystems,2015,(8):1245-1254.