论文部分内容阅读
文章探讨面向XML规范的复杂数字逻辑建模与验证工具XModel的设计,XModel系统工具使用XML建模,可进行有效性验证,仿真验证通过后,可进行基于成熟第3方EDA工具的进一步时序验证、综合验证及FPGA验证。
面向XML规范的复杂数字逻辑建模与验证
【摘 要】
：
文章探讨面向XML规范的复杂数字逻辑建模与验证工具XModel的设计,XModel系统工具使用XML建模,可进行有效性验证,仿真验证通过后,可进行基于成熟第3方EDA工具的进一步时序验证
【机 构】
：
安徽国际商务职业学院
【出 处】
：
安徽水利水电职业技术学院学报
【发表日期】
：
2018年3期
其他文献
随着市场经济和科学技术的发展,信息系统的运维对策也被提出了更高的要求。本文阐述了精益化运维体系及组织架构的建设方法,通过运维量化、健康评价、隐患管理以及异常监控等
文章通过分析共享经济时代下人力资源管理呈现的诸多新特征,为共享经济模式下企业如何应对这些新特征新变化针对性地提出了一些参考对策,有助于提高企业在市场中的竞争力。
文章通过安徽省准水北调工程固镇泵站降水施工实例，从基坑降水、排水施工、管井封填堵等方面对施工降排水技术进行探讨。
文章介绍了大同圩堤防的出险情况，并采用刚体极限平衡法、有限元法计算了该段堤防的稳定状态，模拟出堤身内力场分布规律和塑性应变范围，提出了可靠的加固措施。
文章从居民学习群的打造、社区大学课程群的建设、社区大学区域特色课程开发以及社区大学网络平台的建设方面出发,提出建立一个居民、课程、学习、发展交互的社区立体教育模
文章以220kV风帆式联合构架变电站的多支管空间节点为背景，对节点进行了非线性有限元分析。在有限元分析中，对于2种荷载工况，研究了节点在1．5倍各工况设计荷载下的力学性能，分别得
文章介绍了石井坑水库粘土斜墙填筑过程,提出了填筑质量控制及检测的具体措施和方法。