阿南塔拉曼,T.S。;E.M.克拉克。;M.J.福斯特。;米什拉,B。 将路径表达式编译成VLSI电路。 (英语) Zbl 0604.94016号 分布式计算和通信的最新进展,305-355(1987)。MSC公司:94立方厘米 94C15号机组 68N25号 PDF格式BibTeX公司 XML格式
迈克尔·C·布朗。;埃德蒙·克拉克(Edmund M.Clarke)。;大卫·L·迪尔。;巴德·米什拉 使用时序逻辑对时序电路进行自动验证。 (英语) Zbl 0604.94011号 IEEE传输。计算。 35, 1035-1044 (1986).MSC公司:94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Browne}等人,IEEE Trans。计算。351035--1044(1986年;Zbl 0604.94011) 全文: 内政部
米什拉,B。;E.克拉克。 使用时序逻辑对异步电路进行分级验证。 (英语) Zbl 0584.94022号 西奥。计算。科学。 38, 269-291 (1985). 审核人:利沃夫斯基 MSC公司:94立方厘米 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{B.Mishra}和\textit{E.Clarke},Theor。计算。科学。38269-291(1985年;兹bl 0584.94022) 全文: 内政部
E.克拉克。;米什拉,B。 异步电路的自动验证。 (英语) Zbl 0541.94038号 《程序逻辑》,研讨会,匹兹堡/宾夕法尼亚州,1983年,莱克特。注释计算。科学。164, 101-115 (1984).MSC公司:94立方厘米 68问题65 68N25号 94C15号机组 PDF格式BibTeX公司 XML格式