【摘 要】
：
在过去一两年中,＂便携式激励＂已经成为验证领域的热门话题,但是像诸多＂新＂概念一样,它也是在一些既有工具和方法基础上演变而来的。例如,凭借基于图形的激励自动化工具（如Questa i
【机 构】
：
Mentor、ASiemensBusiness
论文部分内容阅读
在过去一两年中,＂便携式激励＂已经成为验证领域的热门话题,但是像诸多＂新＂概念一样,它也是在一些既有工具和方法基础上演变而来的。例如,凭借基于图形的激励自动化工具（如Questa inFact）,让不同设计抽象层次之间拥有共同的激励模型在多年前就已成为现实。High-Level Synthesis（HLS）可将System C/C＋＋综合到RTL,这已经存在许多年。在C级使用混合内部开发环境或定向C测试进行功能验证的大多数用户均可采用该技术。然而,随着HLS现在支持超大规模的分层设计,对新验证方法的需求越
其他文献
内痔是指发生于肛管齿线以上,直肠粘膜下血管性衬垫病理性扩张或增生形成的隆起性组织,临床以便血和脱出为主要症状.为诸痔中发病率最高的常见病、多发病.给人们的工作和生活
关键词 低血压 中医疗法 概念及病因病机 慢性低血压又名原发性低血压。指长期收缩压≤90mmHg，舒张压≤60mmHg，但老年人由于动脉硬化，需要较高的收缩压来保证脑及内脏的正常血供，故老年人收缩压≤100mmHg时即为低血压。 慢性低血压临床中发病率在3%左右，老年人群中可高达10%。可分为体质性、体位性、继发性三种。症状可见头晕、头痛、疲劳、脸色苍白、消化不良、心悸、共济失
未成熟儿亦称早产儿,系指胎龄小于37周(或259天)的新生儿,不论其出生体重如何.此期小儿经历着解剖生理的巨大变化,身体各器官构建和生理功能从不成熟逐渐过渡到成熟,其并发症