2012年第13届MTV:美国德克萨斯州奥斯汀
-
第十三届微处理器测试与验证国际研讨会,MTV 2012,美国德克萨斯州奥斯汀,2012年12月10日至13日。 IEEE计算机学会 2012 ,国际标准图书编号 978-1-4673-4441-8 比鲁克·马莫 , 吉姆·拉里默尔 , 马修·摩根 , 戴夫·范 , 埃里克·亨尼霍弗 , 瓦莱丽亚·贝塔科 :
多处理器验证的基于体系结构跟踪的功能覆盖。 1-5 卢卡斯·查瓦特 , 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
ISA和RTL微处理器描述的自动形式对应检查。 6-12 莱尔·西甘达(Lyl M.Ciganda) , 马尔科·高德西 , 伊芙琳·卢顿 , 埃内斯托·桑切斯 , 乔瓦尼·斯奎列罗 , 阿尔贝托·保罗·通达 :
通过合作方案自动生成在线测试程序。 13-18 Youngchul Cho先生 , Seonghun Jeong先生 , J.Jeong(简) , Heejun Shim公司 , Yenjo Han公司 , Soojung Ryu先生 , 金英东 :
案例研究:三星可重构处理器验证框架。 19-23 李龙珍 , 恰成和 , 王道曾 :
低捕获功率测试的确定性ATPG。 24-29 李龙仁 , 王道曾 , 杨文婷 :
用于低功率测试的双LFSR重新播种。 30-34 乔治·莫贝 , 克里斯托夫·斯科尔 :
保证终止完全符号化的时间向前模型检查。 35-40 安东·泽普洛夫 , 瓦伦汀·蒂霍米罗夫 , 马克西姆·杰尼欣 , 贾恩·雷克 , 冈特·巴奇 , 豪尔赫·埃尔南·梅扎·埃斯科瓦尔 , 海因茨·戴特里希·伍特克 :
使用zamiaCAD框架对处理器设计中的错误进行本地化。 41-47 马库斯·马特万德尔 :
同时测量、量化和建模能效性能的新流程。 48-53 尼古拉·波比里 , 埃马德·塞缪尔·马尔基·埃贝德 , 佛朗哥·富米 , 米歇尔·洛拉 :
关于RTL IP在SysML模型生成中的重用。 54-59 李龙珍 , 王道曾 , 陈伟顺 :
用于测试数据压缩的双向多播。 60-64 Heejun Shim公司 , 安敏旭 , 金赛荣(JinSae Jung) , Yenjo Han(音译) , 秀荣柳 :
验证CGRA可执行代码并调试内存依赖冲突。 65-69 强尼·J·W·宽 , 托尔·阿莫特 :
Progressive-BackSpace:硅后调试的高效前置计算。 70-75 尼古拉·波比里 , 佛朗哥·富米 , 瓦莱里奥·瓜尼埃里 , 格拉齐亚诺·普拉瓦德利 , 萨拉·文科 :
通过RTL-to-TLM抽象和TLM合成重新设计和验证RTL-IP。 76-81