罗尔夫·德雷克斯勒;格什温·菲 自动测试模式生成。 （英语） Zbl 1182.68019号 Bernardo，Marco（编辑）等人，硬件验证的形式化方法。第六届计算机、通信和软件系统正式设计方法国际学校，2006年SFM，意大利贝蒂诺罗，2006年5月22日至27日。高级讲座。柏林：施普林格出版社（ISBN 3-540-34304-0/pbk）。计算机科学讲座笔记3965，30-55（2006）。MSC公司：68米15 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Drechsler}和\textit{G.Fey}，莱克特。注释计算。科学。3965，30-55（2006年；兹bl 1182.68019） 全文： 内政部
李世绝;林伟杰 用命题逻辑对组合电路设计进行形式化验证和诊断。 （英语） Zbl 1065.94570号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 31，第1期，79-105（1997）.MSC公司：94C12号机组 03B05号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛S.-J.Lee｝和\textit｛W.-J.Lin｝，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.31，No.1，79--105（1997；Zbl 1065.94570）
沃尔夫冈·昆兹;多米尼克·斯托菲尔 布尔网络中的推理。使用测试技术进行逻辑综合和验证。 （英语） Zbl 0884.68007号 电子测试的前沿。9.波士顿：Kluwer学术出版社。xv，230页（1997年）。 审核人：J.Hromković（亚琛） MSC公司：68米15 94C12号机组 94-02 68-02 PDF格式BibTeX公司 XML格式引用 \textit{W.Kunz}和\textit{D.Stoffel}，布尔网络中的推理。使用测试技术进行逻辑综合和验证。波士顿：Kluwer学术出版社（1997；Zbl 0884.68007）