面向XML规范的复杂数字逻辑建模与验证

作者：汪迅宝

来源：安徽水利水电职业技术学院学报, 2018, 18(03): 65-67.

• 可扩展标记语言
• 可扩展模型
• 复杂数字逻辑系统
• 数字系统设计教程

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

• 单位
  安徽国际商务职业学院