| 书目名称 | Principles of Verifiable RTL Design |
| 副标题 | A functional coding |
| 编辑 | Lionel Bening,Harry Foster |
| 视频video | |
| 图书封面 |  |
| 描述 | .Principles of Verifiable RTL Design: A Functional CodingStyle. .Supporting Verification Processes in Verilog. explainshow you can write Verilog to describe chip designs at the RT-level ina manner that cooperates with verification processes. This cooperationcan return an order of magnitude improvement in performance andcapacity from tools such as simulation and equivalence checkers. Itreduces the labor costs of coverage and formal model checking byfacilitating communication between the design engineer and theverification engineer. It also orients the RTL style to provide moreuseful results from the overall verification process. .The intended audience for .Principles of Verifiable RTL Design: A..Functional Coding Style Supporting Verification Processes in..Verilog. is engineers and students who need an introduction tovarious design verification processes and a supporting functionalVerilog RTL coding style. A second intended audience is engineers whohave been through introductory training in Verilog and now want todevelop good RTL writing practices for verification. A third audienceis Verilog language instructors who are using a general text onVerilog as the course textbook but want |
| 出版日期 | Book 2000 |
| 关键词 | RTL; Verilog; communication; formal verification; logic; model; performance; simulation |
| 版次 | 1 |
| doi | https://doi.org/10.1007/b116517 |
| isbn_softcover | 978-1-4757-7313-2 |
| isbn_ebook | 978-0-306-47016-5 |
| copyright | Springer Science+Business Media New York 2000 |
发表于 2025-3-21 16:19:28
