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

Bening, Lionel; Foster, Harry D.

ISBN 10: 0792377885 / ISBN 13: 9780792377887

Edité par Kluwer Academic Publishers Group, 2000

A propos de cet article

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. N° de réf. du vendeur BBS-2020342

Détails bibliographiques

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

Éditeur : Kluwer Academic Publishers Group

Date d'édition : 2000

Reliure : Hardcover

Etat : Very Good

Signé : Signed

A propos de ce titre

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.