高层综合动态等效检查器

来源 :中国集成电路 | 被引量 : 0次 | 上传用户:zjfayy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文介绍的是一种介于未定时序(Untimed)的行为描述(如ANSIc)与RTL间的动态等效检查方法。高层综合(High Level Synthesis;HLS)提供了一条快速和简便的路径,将使用高阶语言所描述的行为综合为RTL。而本文介绍的检查方法,其好处之一在于软件工程师和硬件工程师可共享相同的测试数据。该方法可让硬件工程师复用原本用于软件验证的未定时序输入测试向量(Test Vector),并将RTL仿真(simulation)产生之结果与进行软件验证时所获得的黄金参考输出来做比较。我们将这一方法称为动态等效检查方法,这种方法可将未定时序的输出与RTL仿真结果的已定时序(Timed)输出进行比较,并将出现的任何不匹配结果显示出来。为了验证我们的方法,我们加强既有的一个HLS工具后端并制作了一个测试平台(Testbench)的自动产生器。此方法可运用于各种不同的设计时间,这在本文中均有提及。结果显示,此方法非常有效且用法极其简单。
其他文献
目的观察过敏性紫癜肾炎(HSPN)患儿血清中血管内皮生长因子(VEGF)和肿瘤坏死因子-α(TNF-α)水平的变化,并探讨其与临床的关系.方法检测36例HSPN患儿治疗前后血清VEGF和TNF-
乡村,城市,松软的厚土,严固的泥基。默默地,我们站立在城市飞扬的尘烟里,望着来来回回的车辆微拂着,
“我手写我心”是《新课标》的基本要求,但在写作的实践中却常常遇到困难。其原因主要是教师往往强调了“我”,却忽视了“心”和“手” 。事实上,除了命题者命制特别适合学生写
本文介绍了自动检测与诊断技术在安防及其他领域中的应用现状,阐述了自动检测技术在"平安城市"和"3111工程"中的应用情况,讨论了城市监控平台与自动检测技术的结合应用。
近期,应德国驻中国大使馆邀请,博兰斯勒钢琴中国区总经理方阳赴京出席德国国庆庆祝活动。德国驻华大使施明贤对博兰斯勒钢琴(中国)有限公司在德中音乐文化交流中做出的努力表示赞
岁月溜走的时候总在不经意地模仿那康桥的云彩,快速而不留痕迹。含着伤感,或是散尽欣喜。那些滋味漫过心田,一遍又一遍。
介绍了氯化聚氯乙烯生产技术的国内外现状及差距。分析了氯化聚氯乙烯下游产品的应用前景并提出了发展建议。
《中装》:请问您多大年龄了?似乎你的作品象征性很强,您的创作灵感来自于什么?您的设计理念是什么?Antonino Cardillo:我36岁,生长于地中海中部(西西里岛),那里有热烈的阳光