Principles of Verifiable RTL Design, Softcover reprint of the original 1st ed. 2000 A functional coding style supporting verification processes in Verilog
Auteurs : Bening Lionel, Foster Harry D.
The intended audience for Principles of Verifiable RTL Design: AFunctional Coding Style Supporting Verification Processes inVerilog is engineers and students who need an introduction to various design verification processes and a supporting functional Verilog RTL coding style. A second intended audience is engineers who have been through introductory training in Verilog and now want to develop good RTL writing practices for verification. A third audience is Verilog language instructors who are using a general text on Verilog as the course textbook but want to enrich their lectures with an emphasis on verification. A fourth audience is engineers with substantial Verilog experience who want to improve their Verilog practice to work better with RTL Verilog verification tools. A fifth audience is design consultants searching for proven verification-centric methodologies. A sixth audience is EDA verification tool implementers who want some suggestions about a minimal Verilog verification subset.
Principles of Verifiable RTL Design: A Functional Coding StyleSupporting Verification Processes in Verilog is based on the reality that comes from actual large-scale product design process and tool experience.
Date de parution : 04-2013
Ouvrage de 253 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 105,49 €
Ajouter au panierDate de parution : 04-2000
Ouvrage de 250 p.
16x24 cm
Thèmes de Principles of Verifiable RTL Design :
Mots-clés :
RTL; Verilog; communication; formal verification; logic; model; performance; simulation