论文部分内容阅读
前言rn断言和功能覆盖率犹如一个硬币的两面.在一个RTL的设计中,两者都提供了详尽的可观察点.断言提供了功能正确与否的信息,而功能覆盖率则显现出设计行为的监测.两者都代表设计的规格,而以仿真或是形式验证的方式来确认.
基于断言的功能验证技术
【摘 要】
：
前言rn断言和功能覆盖率犹如一个硬币的两面.在一个RTL的设计中,两者都提供了详尽的可观察点.断言提供了功能正确与否的信息,而功能覆盖率则显现出设计行为的监测.两者都代表
【机 构】
：
Mentor Graphics公司
【出 处】
：
中国集成电路
【发表日期】
：
2005年10期
其他文献
目的：：探究在2型糖尿病患者的临床治疗过程中，观察以格列美脲与胰岛素联合治疗的临床疗效及控制血糖的效果。方法：将我院自2013年6月～2014年12月期间收治的78例2型糖尿病患者作为
宜丰国泰公司改性铵油炸药生产线一级抽水系统是将水从河里抽到消防水池的过程,利用液位传感器的低水位连通、高水位断开的的功能,自动抽水,保持消防水池的水位在正常范围内.
警用计算机自毁装置rn鉴于近年来英国特工多次遗失存有高度机密资料的手提电脑,英国国防部宣布,将会为特工和负责国家安全的人员购入高科技的“占士邦”式防爆公文包,以减少
目的 探讨ω-3鱼油脂肪乳对烟熏加气管注入脂多糖法致慢性阻塞性肺疾病(COPD)大鼠干预的作用机制.方法 清洁级雄性大鼠90只,完全随机分成生理盐水对照组、烟熏加气管注入脂多糖法致大鼠COPD模型组、烟熏加气管注入脂多糖法致大鼠COPD模型+ω-3鱼油脂肪乳干预组.在第7、21、28天分别取左肺下叶供免疫组化检测核转录因子-κB (NF-κB)、干扰素-γ(IFN-γ)的表达,右肺下叶供HE染色病
血液流变学的改变与糖尿病的血管并发症的发病机制密切相关，我院１９９８年６月～１９９９年４月以脂必妥口服治疗４０例糖尿病，现将血液流变学指标变化情况报道如下。１材料与方法１．１病例选择按１９９６年ＷＨＯ诊断标准确诊
摘 要：当前，农忙时节劳动力奇缺，且人工工资贵，油菜生产机械化成必然趋势。本文简要阐述了油菜全程机械化的技术路线，提出了存在的问题和发展建议。 关键词：全程机械化；气吸式分段收获；秸秆处理 中图分类号：S233 文献标识码：A 随着农村劳动力大量转移和老龄化问题的日益加剧，劳动力因素已严重制约油菜生产发展，因此油菜全程机械化技术受到长江中下游地区广大农民的青睐。油菜全程机械化省工省时，可以提
国家重要经济产业支柱之一石油化工行业,在国民经济发展中占据着重要的地位,化工企业生产具有易燃、易爆性,同时对于化工企业的设备,针对复杂的介质情况、高压、高温运行环境