论文部分内容阅读
给出了超大规模数字集成电路形式验证的任务流集合和任务模型,并以任务模型为基础提出了验证新方法MCTL.建立任务流集合以及相关的存储结构,是MCTL实现的关键.为此,本文确定了一组基本功能算子与约束条件存储结构,这种存储结构既可以节省空间和时间,又满足了建立任务流集合对存储结构的要求.
任务模型及MCTL系统中存储结构的研究
【摘 要】
：
给出了超大规模数字集成电路形式验证的任务流集合和任务模型,并以任务模型为基础提出了验证新方法MCTL.建立任务流集合以及相关的存储结构,是MCTL实现的关键.为此,本文确定
【机 构】
：
北京交通大学电子信息工程学院电子工程系
【出 处】
：
北方工业大学学报
【发表日期】
：
2004年1期
其他文献
为防止低水平重复建设，遏制产能过快增长，促进转型升级，加快转变发展方式，提高建筑卫生陶瓷工业发展质量和效益，根据《中华人民共和国节约能源法》、《中华人民共和国清洁生产促进
<正>詹阳动力应该算是BICES展的"常客",每届展会上詹阳动力与众不同的展品,以及展台表演所散发出来的地方民族特色,都会让人觉得这是一个与众不同的企业。这一与众不同的企业
近日，赛康公司宣布收购RSDTeChnik集团旗下F1ex01aSer股份公司的柔性版直接制版技术及其业务，这家公司主要以生产柔性版、凸版CTP设备而著称。此外，赛康还宣布已经购买了柯达旗
随着人民经济的快速发展，我国的基础设施建设已进入一个崭新的时期，而混凝土作为一种主要建筑材料，它的质量好坏，既影响结构物的安全，也影响结构物的造价，因此混凝土的质量是关系到
随着科技的飞快发展,无人机的应用场合日益增多,同时也给人类带来诸多便利。文章着力于四旋翼无人机自主导航技术的初步研究,结合国内外对无人机自主导航的研究提出常见的研
【正】Cathy Lewis女士职业生涯前20年曾在西门子、施乐和Ikon等公司任高级管理人员。7年前,她成为加利福尼亚Desktop Factory的CEO。2009年,3D Systems公司收购了Desktop Fa
中国将通过引导和规范国有出版传媒集团与非公有文化企业开展产品合作、项目合作、资本合作等措施，培育一批销售超200亿元的出版传媒集团。新闻出版总署日前发布了《关于加快
传统的视频点播系统由于采用单播方法,使得系统可以支持的并发用户数目受到限制.本系统采用多播方法,可以很好的改善这一问题,而且采用块间切换技术,使得系统在支持大量用户
高支模施工是建筑工程施工中的重点和难点,也是施工过程中容易发生事故的重大危险源,特别是高度大于8m的支模体系,稍有不慎,不但影响着施工作业的顺利进行,还有可能造成重大