【摘 要】
：
设计师都知道,用分级法进行电路设计能提高结果的质量,而且还常常能缩短开发时间.验证工程师常常对一个设计的各功能块单独进行验证,然后再将它们组合成电路,以便对组合成的
论文部分内容阅读
设计师都知道,用分级法进行电路设计能提高结果的质量,而且还常常能缩短开发时间.验证工程师常常对一个设计的各功能块单独进行验证,然后再将它们组合成电路,以便对组合成的系统实现确认测试.形式验证方法仍在演进之中,工程师在用分级方法进行形式验证时几乎得不到相应工具的支持.在许多情况下,形式验证工具不能处理大型设计,因此工程师不得不用人工方法随时掌握已验证的功能块,并创新自己的综合验证程序.
其他文献
有这样一位企业基层党支部书记,他时时坚持以人为本,处处关爱退休职工生活。他的事迹看起来很平凡,细讲起来却又很感人。他,就是山西晋华纺织厂离退处党支部书记张自忠。1997
在采用传统的纯模拟技术设计高速背板串行/解串器(SerDes)时会遇到一个障碍,这就是由于信号在铜导线中的衰减和所受干扰的影响,为了获得更高的传输速率,设计者不得不以牺牲传
随着旅游业的不断发展，汉英旅游翻译已成为促进中国国际旅游业发展的一项不可或缺的活动。对外旅游宣传品承载着提升旅游产品形象、拓展国际市场的重要功能。然而，目前许多旅游
泰科电子CoEv磁性组件部推出新型DZM系列无铅功率电感器,它具备低电压、大电流的特性,专为开关电源和便携式电子产品而设计.与其它超薄型电感器不同的是,DZM电感器不受标准铁
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
Atmel公司推出一个符合ZigBee的控制器、收发器和协议栈实现方案.ZigBee是一种用于控制和监视各种系统的低数据速率低功耗联网无线标准.而ZigBee所依据的IEEE 802.15.4标准规
胡丹凌,是芜湖市中级法院一位青年法官。2004年春,他作为第二批选派干部来到大桥镇,被镇党委派往上闸村任第一书记。上闸村因财务管理不严,企业管理不善,债权债务不清,造成干
记得数年前就有人预言:没有联网的计算机算不上计算机.如今这个预言已经兑现.嵌入式设备同样在朝着这个方向发展--没有连接能力的设备只是一个孤岛,几乎没有用场.不论是汽车
在定制IC的开发过程中,控制功耗以使手持式产品中电池工作寿命最长,是一个更需要优先考虑因素.I/O驱动器的功耗在这一功耗中占有很大的比重,特别是当芯片是I/O密集型的,而且
针对嘉兴地区饮用水水源高氨氮和高有机物污染的问题,开展了化学和生物组合预处理、强化混凝沉淀常规处理、臭氧—生物活性炭深度处理等不同组合工艺技术集成的研究与示范,优