Hardware Design Verification: Simulation and Formal Method-Based Approaches

Angebote / Angebote:

Two groups of people are essential to a successful design project: a design teamand a verification team. Designers usually have formal training from schools.Many colleges have comprehensive curricula on logic design, ranging fromintroduction to digital design to advanced computer architecture. On thecontrary, most verification engineers learn their trade on the job, few wereeducated as verification engineers in academia, although many schools arebeginning to teach verification curriculum. In fact, a majority of verificationengineers started out as designers and gradually transited to design verification.Unlike design techniques and methodologies, a broad range of verificationknowledge is loosely organized and informally acquired through hands-onexperiences. Further, the horizon of verification has been expanding at a rapidpace, verification landscape is evolving every six months with new techniques, standards, and tools. Nevertheless, there are principles and techniques thathave survived the test of time and prove to be corner stones of verification.This book attempts to collect and organize a wide range of digital designverification techniques and methodologies commonly used in industry andpresent them in a systematic fashion.