【摘 要】
：
在过去一两年中,＂便携式激励＂已经成为验证领域的热门话题,但是像诸多＂新＂概念一样,它也是在一些既有工具和方法基础上演变而来的。例如,凭借基于图形的激励自动化工具（如Questa i
【机 构】
：
Mentor、ASiemensBusiness
论文部分内容阅读
在过去一两年中,＂便携式激励＂已经成为验证领域的热门话题,但是像诸多＂新＂概念一样,它也是在一些既有工具和方法基础上演变而来的。例如,凭借基于图形的激励自动化工具（如Questa inFact）,让不同设计抽象层次之间拥有共同的激励模型在多年前就已成为现实。High-Level Synthesis（HLS）可将System C/C＋＋综合到RTL,这已经存在许多年。在C级使用混合内部开发环境或定向C测试进行功能验证的大多数用户均可采用该技术。然而,随着HLS现在支持超大规模的分层设计,对新验证方法的需求越
其他文献
内痔是指发生于肛管齿线以上,直肠粘膜下血管性衬垫病理性扩张或增生形成的隆起性组织,临床以便血和脱出为主要症状.为诸痔中发病率最高的常见病、多发病.给人们的工作和生活
当病人出现水肿、尿异常时，临床上要确诊为是否为肾小球肾炎，是原发性还是继发性有时并不容易，需对病史、临床表现、实验室检查等结果进行综合分析和鉴别。本文主要对肾小球肾炎
关键词 低血压 中医疗法 概念及病因病机 慢性低血压又名原发性低血压。指长期收缩压≤90mmHg，舒张压≤60mmHg，但老年人由于动脉硬化，需要较高的收缩压来保证脑及内脏的正常血供，故老年人收缩压≤100mmHg时即为低血压。 慢性低血压临床中发病率在3%左右，老年人群中可高达10%。可分为体质性、体位性、继发性三种。症状可见头晕、头痛、疲劳、脸色苍白、消化不良、心悸、共济失
以（丙烯腈／丁二烯／苯乙烯）共聚物（ABS）树脂为主要原料，利用不锈钢纤维（SSF）进行改性，为解决SSF在树脂基体中的分散性问题，采用母料法制样。对ABS／SSF复合材料的力学性能和电学性能进行表
2005年3月～2005年9月，四平地区发生麻疹流行，发病1064例，无死亡病例，现报告如下。
肺栓塞(PE)是内源性或外源性栓子堵塞肺动脉引起肺循环障碍的临床和病理生理综合征。其发病率、误诊率及病死率均颇高。在美国年发病数约650000人，250000患者注院，50000人死亡
英诺科技（中国）有限公司研发的日标高清机（ISDB-T Full Seg）车载数字电视已经开始在认证的客户量产。据称是国内首家设计公司成功推出并拥有全部自主知识产权的日标数字电视解决
工程塑料专用环保型阻燃剂FR-245将告别全部依赖进口的历史。年产3000tFR-245装置已于最近在广东东莞柏百顺石油化工有限公司投产。该项目的投产标志着上程塑料专用环保阻燃
未成熟儿亦称早产儿,系指胎龄小于37周(或259天)的新生儿,不论其出生体重如何.此期小儿经历着解剖生理的巨大变化,身体各器官构建和生理功能从不成熟逐渐过渡到成熟,其并发症