何塞·蒙泰罗；斯里尼瓦斯·德瓦达斯 低功耗时序逻辑电路的计算机辅助设计技术。 （英语） Zbl 0867.68110号 Kluwer国际工程与计算机科学系列. 387. 多德雷赫特：Kluwer学术出版社。xiii，181 p.英国国防部。165.00; $ 88.00; £62.50 (1996). 审核人：A.Michalski（华沙） MSC公司：68单位07 68-02 94立方厘米 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Monteiro}和\textit{S.Devadas}，低功耗时序逻辑电路的计算机辅助设计技术。多德雷赫特：Kluwer学术出版社（1996；Zbl 0867.68110）
拉杰夫·穆尔盖；罗伯特·K·布雷顿。；阿尔贝托Sangiovanni-Vincentelli 现场可编程门阵列的逻辑综合。 （英语） Zbl 0839.68044号 Kluwer国际工程与计算机科学系列.324。多德雷赫特：Kluwer学术出版社。xv，427页（1995年）。 审核人：H.Salum（塔林） MSC公司：68瓦35 68M99型 68-02 94C30个 93元62角 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Murgai}等人，现场可编程门阵列的逻辑综合。多德雷赫特：Kluwer学术出版社（1995；Zbl 0839.68044）
罗兰·阿里昂；Jean-Michel·伯奇；文森特·奥利夫 用VHDL进行电路综合。 （英语） Zbl 0806.68004号 Kluwer国际工程与计算机科学系列261.多德雷赫特：Kluwer学术出版社（ISBN 0-7923-9429-1/hbk）。十六、221页（1994年）。 审核人：H.Salum（塔林） MSC公司：68-01 65年第68季度 68甲15 94立方厘米 94-01 PDF格式BibTeX公司 XML格式引用 \textit{R.Airiau}等人，VHDL电路综合。多德雷赫特：Kluwer学术出版社（1994；Zbl 0806.68004）
约根·斯坦斯特鲁普 硬件设计的正式方法。 （英语） Zbl 0827.68001号 Kluwer国际工程与计算机科学系列. 253. 多德雷赫特：Kluwer学术出版社。xiv，232 p.英国国防部。190.00; 90.00美元；67.50英镑/hc（1994年）。 审核人：G.Entreß（耶拿） MSC公司：2007年7月68日 68-02 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Staunstrup}，硬件设计的正式方法。多德雷赫特：Kluwer学术出版社（1994；Zbl 0827.68001）
吉恩·梅梅特（编辑） 用于硬件仿真、综合和形式化证明的VHDL。 （英语） Zbl 0778.68011号 Kluwer国际工程与计算机科学系列. 183. 多德雷赫特：Kluwer学术出版社。十一、 第307页（1992年）。 审核人：P.Molitor（萨尔布吕肯） MSC公司：68-06 68瓦35 94立方厘米 94C12号机组 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Mermet}（编辑），硬件仿真、综合和形式化证明的VHDL。多德雷赫特：Kluwer学术出版社（1992；Zbl 0778.68011）
斯蒂芬·布朗。；罗伯特·弗朗西斯。；乔纳森·罗斯；Vranesic，Zvonko G。 现场可编程门阵列。 （英语） Zbl 0780.68114号 Kluwer国际工程与计算机科学系列. 180. 多德雷赫特：Kluwer学术出版社。十六、 第206页（1992年）。 审核人：H.Salum（塔林） MSC公司：68单位07 68-01 94立方厘米 90C09型 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Brown}等人，现场可编程门阵列。多德雷赫特：Kluwer学术出版社（1992；Zbl 0780.68114）