焦点

FACS——从正式规范自动生成模拟检查器。在可预见的将来,工业硬件设计将继续在设计验证过程中同时使用仿真和模型检查。迄今为止,这些技术是孤立使用不同的工具和方法,以及不同的配方的问题。这导致累积的高成本和很少(如果有的话)交叉杠杆的模拟和形式验证的个人优势。


ZBMaX中的参考文献(20篇)1标准条款

显示结果1至20的20。
按年份排序(引文

  1. 艾斯纳,辛蒂;Fisman,Dana:基于时序逻辑的硬件功能规范(2018)
  2. Bozzelli,劳拉;S.Anncz,CIESAR:布尔流运行时验证的基础(2016)
  3. Reinbacher,托马斯;F·G,马蒂亚斯;布劳尔,JoRG:嵌入式实时系统的运行验证(2014)
  4. Tabakov,Deian;罗齐尔,Kristin Y.;瓦迪,Moshe Y.:StimCC的优化时态监视器(2012)
  5. 琼斯,Kevin D.;康拉德,维克多;尼科维奇,德扬:模拟属性检查器:DDR2案例研究(2010)
  6. Ben David,肖汉姆;Fisman,Dana;Ruah,StViNIT:在正则表达式中嵌入有限自动机(2008)
  7. Fey,德雷斯勒,罗尔夫:现代设计流程中的稳健性和可用性(2008)
  8. 靳,Naiyong;沈,Chengjie;陈,钧;倪,陶勇:基于断言的工程(PSL^文本简单)-Verilog动态验证器的交流自动机(2008)伊波尔特
  9. Maler,ODD;Nickovic,德扬;Pnueli,阿米尔:检验离散、时间和连续行为的时间特性(2008)
  10. Katelman,米迦勒;MeeGuer-Joe:阿贝尔的重写语义及其在软硬件协同设计和分析中的应用(2007)
  11. 陈,习近平;Hsieh,Harry;Balarin,Felice:嵌入式系统大都市设计框架的验证方法(2006)
  12. 陈,奚;罗,燕埠;Hsieh,Harry;B胡延,Laxmi;Balarin,费利斯:IP地址查找算法的调查和分类(2005)伊波尔特
  13. Tabakov,Deian;瓦迪,Moshe Y.:经典自动机结构的实验评价(2005)
  14. Maler,ODD;Nickovic,德扬:监测连续信号的时间特性(2004)
  15. 艾斯纳,辛蒂;Fisman,Dana;哈夫利切克,约翰;勒斯蒂格,yoad;McISaac,Po.;,y:,在截断路径上用时态逻辑推理。(2003)
  16. 戈登,Michael J. C.:使用自动推理验证PSL/糖语义(2003)
  17. 戈登,迈克;赫德,乔;Slind,康拉德:用机械化定理证明(2003)执行AcCELLA属性规范语言的形式语义
  18. H·坎森,约翰;Jonsson,Bengt;Lundqvist,OLA:从时序逻辑规范生成在线测试预言(2003)伊波尔特
  19. ESPARZA,哈维尔;Schwoon,斯特凡:基于BDD的递归程序模型检查器(2001)
  20. 阿巴伯内尔,Yael;啤酒,Ilan;格卢霍夫茨基,列奥尼德;基达,莎伦;沃尔夫斯塔尔,亚龙:FOCs——从正式规范自动生成模拟检查器(2000)