基础知识

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


zbMATH中的参考文献(参考文献37篇文章)

显示结果1到20,共37个。
按年份排序(引用)
  1. 巴卡洛夫,亚历山大;提塔伦科,拉瑞萨;Mielcarek,Kamil:改进基于LUT的mealy FSMs的特性(2020)
  2. 卞正兵;楚达克,费边;麦克雷迪,威廉;罗伊,艾丹;塞巴斯蒂安尼,罗伯托;Varotti,Stefano:用量子退火器求解SAT(和MaxSAT):基础、编码和初步结果(2020)
  3. 德雷克斯勒,罗尔夫(编辑);索肯,马蒂亚斯(编辑):高级布尔技术。第13届布尔问题国际研讨会论文选集,德国不来梅,2018年9月19-21日(2020年)
  4. 考夫曼,考夫曼;贝尔,阿明;Kauers,Manuel:使用计算机代数对算术电路进行增量列式验证(2020)
  5. 卢滕伯格,迈克尔;梅耶,菲利普J。;Sickert,所罗门:通过平价博弈从LTL规范实际合成反应系统(2020)
  6. 特梅尔,默特坎;斯洛博多娃,安娜;亨特,沃伦A。Jr.:整数乘数的自动化和可扩展验证(2020年)
  7. 德鲁克,Nir;何希明;瓦克宁,乔尔;佩恩,米甲;斯特里奇曼,Ofer:无人机循环航路(2019)
  8. 芬克贝纳,伯纳德;吉塞金,曼纽尔;赫金哈布施,耶斯科;Olderog,Ernst-Rüdiger:并发网络更新中的模型检查数据流(2019)
  9. 缪利,朱利亚;施密特,布鲁诺;埃勒斯,吕迪格;里纳,海因茨;De Micheli,Giovanni:在量子编译流中评估ESOP优化方法(2019)
  10. 申承宇;塔楚克,克里斯;Winfree,Erik:验证化学反应网络实现:路径分解方法(2019)
  11. Kurshan,Robert P.:模型检验向工业实践的转移(2018)
  12. 汤姆·梅勒姆:《符号轨迹评估》(2018)
  13. 波塞德莱昂,赫尔南;Mokhov,Andrey:并行系统的紧凑和高效可验证模型(2018)
  14. 余,寸溪;亚辛,阿蒂夫;苏天凯;米什琴科,艾伦;Ciesielski,Maciej:算术电路验证重写环境(2018)
  15. Büscher,尼格拉斯;弗兰兹,马丁;霍尔泽,安德烈亚斯;维思,赫尔穆特;Katzenbeisser,Stefan:关于编译为安全多方计算而优化的布尔电路(2017)
  16. 查克拉波蒂,上提克;哈西达什维利,祖拉布;塞格,卡尔·约翰H。;加贾韦利,拉杰库马尔;哈尔丹卡尔,坦梅;查塔尼,迪内什;Mistry,Rakesh:单词级验证的符号轨迹评估:理论与实现(2017)
  17. 费蒙维尔,彼得;芬克贝纳,伯纳德;拉贝,马库斯N。;Tentrup,Leander:有界合成的编码(2017)
  18. 贝蒂娜,克尼霍弗;穆罕默德·阿尔希赫;布洛姆,罗德里克;汉弗莱,劳拉;Könighofer,罗伯特;乌鲁克托普大学;王超:盾牌合成(2017)
  19. 洛辛,弗洛里安;塞德尔,玛蒂娜;范盖德,艾伦:QBF画廊:幕后(2016)
  20. 施莱普费尔,马提亚斯;Weissenbacher,Georg:用于超分辨率、子句和局部证明的标记插值系统(2016)