Title :
Getting it right [functional microprocessor verification]
Author_Institution :
Texas Univ., Austin, TX, USA
Abstract :
When it comes to functional verification, the short, simple goal of "getting it right" stands in stark contrast to the mountain of obstacles that stand between the design team and an appropriately verified microprocessor design. That\´s why project leaders must think carefully about the verification strategies they will employ within a project and how they communicate those strategies to their design team.
Keywords :
formal verification; logic design; microprocessor chips; functional verification; microprocessor design; project design team; Appropriate technology; Computer bugs; Cost function; Feedback; Investments; Manufacturing; Microprocessors; Protocols; Testing;
Journal_Title :
Micro, IEEE
DOI :
10.1109/MM.2004.1289295
