Hardware design verification : simulation and formal method-based approaches

• 作者： Lam, William K. C., 1962-
• 出版： Upper Saddle River, NJ ;Boston : Prentice Hall/Professional Technical Reference
• 叢書名： Prentice Hall modern semiconductor design series
• 主題： Integrated circuits--Verification
• ISBN： 0131433474 (hbk.): US$96.00
• 資料類型: 圖書
• 內容註: Includes bibliographical references and index.
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: