形式化驗證：現代VLSI設計的必備工具包（原書第2版）

Erik Seligman目前是 Cadence設計系統公司的 產品工程架構師，負責規劃和支持 Jasper形式化驗證工具。此前，他在英特爾公司（俄勒岡州希爾斯伯勒）工作了20多年，涉足軟件、設計、仿真和形式化驗證等多個領域。業余時間，他主持“數學突變”（Math Mutation）播客，並曾當選為希爾斯伯勒學區董事會成員。Tom Schubert（現已退休）是波特蘭州立大學電子與計算機工程系的兼職教授，曾負責該校“設計驗證與確認”方向研究生課程長達8年。此前，他在英特爾公司工作17年，曾管理英特爾 的矽前驗證形式化驗證團隊，並在多個微處理器設計項目中推廣和應用 FPV 技術。他在加州大學戴維斯分校獲得計算機科學博士學位。M.V.Achutha Kiran Kumar是英特爾設計工程集團的英特爾研究員，負責領導公司形式化驗證中央技術辦公室，該團隊是 規模 的工業形式化驗證團隊之一。他擁有20多年經驗，曾在芯片設計流程的多個領域工作，包括 RTL 設計、結構設計、電路設計、仿真及多個驗證層級（包括形式化驗證）。