×

找到5个文档(结果1-5)

用于硬件验证的基于SAT的谓词抽象。 (英语) Zbl 1204.68129号

Giunchiglia,Enrico(编辑)等,可满足性测试的理论和应用。2003年5月5日至8日,意大利圣玛格丽塔·利古雷,第六届国际SAT会议。选定的修订论文。柏林:施普林格出版社(ISBN 3-540-20851-8/pbk)。莱克特。注释计算。科学。2919, 78-92 (2004).
MSC公司:60年第68季度 第68页第15页 68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使谓词抽象高效:如何消除冗余谓词。 (英语) Zbl 1278.68163号

Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 126-140 (2003).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用基于SAT的冲突分析对大型状态空间进行模型检查的自动抽象求精。 (英语) Zbl 1019.68618号

Aagaard,Mark D.(编辑)等人,《计算机辅助设计中的形式化方法》。第四届国际会议,2002年11月6日至8日,美国俄勒冈州波特兰市,FMCAD 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2517, 33-51 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

使用组合优化方法进行量化调度。 (英语) Zbl 1002.68512号

Margaria,Tiziana(编辑)等人,《正确的硬件设计和验证方法》。第11届IFIP WG 10.5高级研究工作会议,CHARME 2001,苏格兰利文斯顿,英国,2001年9月4-7日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2144, 293-309 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

抽象BDD:一种在模型检查中使用抽象的技术。 (英语) Zbl 0949.68105号

Pierre,Laurence(编辑)等人,《正确的硬件设计和验证方法》。第十届IFIP WG 10.5高级研究工作会议,CHARME’99,Bad Herrenalb,Germany,1999年9月27-29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1703, 172-186 (1999).
MSC公司:60年第68季度 94立方厘米10
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

出版年份

主字段

软件