基础知识

ABC:一个学术性的工业实力验证工具。ABC是一个公共领域系统,用于同步硬件设计中出现的二进制逻辑电路的逻辑综合和形式验证。ABC结合了基于和逆变图(AIGs)的可伸缩逻辑变换和各种创新算法。对顺序合成和顺序验证的协同作用的关注导致了这两个领域的改进。本文介绍了作业成本法,推动了作业成本法的发展,并举例说明了作业成本法在形式验证中的应用。


zbMATH参考文献(参考 21篇文章 参考)

显示第1到第20个结果,共21个。
按年份排序(引用)
  1. Luttenberger,Michael;Meyer,Philipp J.;Sickert,Salomon:通过平价博弈从LTL规范中实际合成反应系统(2020年)
  2. 德鲁克,尼尔德鲁克;何,西明;瓦克宁,乔尔;佩恩,米哈尔;斯特里奇曼,奥弗:无人机的循环路径选择(2019年)
  3. Meuli,Giulia;Schmitt,Bruno;Ehlers,Rüdiger;Riener,Heinz;De Micheli,Giovanni:在量子编译流中评估ESOP优化方法(2019年)
  4. Shin,Seung-Woo;Thachuk,Chris;Winfree,Erik:验证化学反应网络实现:路径分解方法(2019)
  5. Kurshan,Robert P.:模型检验向工业实践的转移(2018)
  6. Yu,Cunxi;Yasin,Atif;Su,Tiankai;Mishchenko,Alan;Ciesielski,Maciej:算术电路验证的重写环境(2018)
  7. Chakraborty,Supratik;Khasidashvili,Zurab;Seger,Carl Johan H.;Gajavelly,Rajkumar;Haldankar,Tanmay;Chhatani,Dinesh;Mistry,Rakesh:单词级验证的符号轨迹评估:理论与实现(2017)
  8. 贝蒂娜·科尼霍费尔;穆罕默德·阿尔希赫;罗德里克·布洛姆;劳拉·汉弗莱;罗伯特·科尼霍弗;乌鲁克·托普库;王超:盾牌合成(2017)
  9. 《盖伦画廊》(The Gallery,The Florian,The Sceness);2016年《马丁路德·马丁纳》(The Back-scenes;The Florian,The-Sceness;2016年)
  10. Schlaipfer,Matthias;Weissenbacher,Georg:用于超分辨率、子句和局部证明的标记插值系统(2016)
  11. Soeken,Mathias;Mishchenko,Alan;Petkovska,Ana;Sterin,Baruch;Ianne,Paolo;Brayton,Robert K.;De Micheli,Giovanni:使用AIGs和LEXSAT对大型函数进行启发式NPN分类(2016)
  12. Soeken,Mathias;Tague,Laura;Dueck,Gerhard W.;Drechsler,Rolf:Ancilla-free-synthesis of large reversible functions using binary decision diagrams(2016年)
  13. Wimmer,Karina;Wimmer,Ralf;Scholl,Christoph;Becker,Bernd:DQBF的Skolem函数(2016)
  14. Cabodi,Gianpiero;Loiacono,Carmelo;Vendraminetto,Danilo:Craig插值压缩在无界模型检查中的优化技术(2015)
  15. Ignatiev,Alexey;Previti,Alessandro;Marques Silva,Joao:基于SAT的公式简化(2015)
  16. Bloem,Roderick;Könighofer,Robert;Seidl,Martina:基于SAT的安全规范综合方法(2014)
  17. Simon Cruanes;Hamon,Gregoire;Owre,Sam;Shankar,Natarajan:工具与证据工具总线的集成(2013)ioport公司
  18. Křena,Bohuslav;Vojnar,Tomš:自动化形式分析和验证:概述(2013年)
  19. Cabodi,Gianpiero;Nocco,Sergio;Quer,Stefano:为算法改进和性能调整建立模型检查器的基准(2011)
  20. Sen,Alper;Aksanli,Baris;Bozkurt,Murat:使用图形处理单元加速基于周期的逻辑模拟(2011)ioport公司