Principles of Verifiable RTL Design - A Functional Coding Style Supporting Verification Processes

Bening, Lionel; Foster, Harry D.

ISBN 10: 0792377885 / ISBN 13: 9780792377887

Published by Kluwer Academic Publishers Group, 2000

About this Item

Signed by authors Lionel Bening and Harry Foster at the first page. Covers very good with only minor shelf-wear. Spine square. Binding sound. No jacket, as issued. Prior owner's name penned to top of textblock. Pages else clean, interior bright and unmarked. Seller Inventory # BBS-2020342

Bibliographic Details

Title: Principles of Verifiable RTL Design - A ...

Publisher: Kluwer Academic Publishers Group

Publication Date: 2000

Binding: Hardcover

Condition: Very Good

Signed: Signed

About this title

Synopsis:

Explaining how you can write Verilog to describe chip designs at the RT-level in a manner that co-operates with verification processes, this text focuses on how this co-operation can return an order of magnitude improvement in performance and capacity from tools such as simulation and equivalence checkers. It reduces the labour costs of coverage and formal model checking by facilitating communication between the design engineer and the verification engineer. It also orients the RTL style to provide more useful results from the overall verification process.