Verification and Validation of Complex Digital Systems: An Industrial Perspective.
Magdy S. Abadir, Li-C. Wang · International Symposium on Quality Electronic Design · 2001
Verification and validation of complex digital designs (microprocessors, large ASIC, SOC, etc.) are very challenging in today's industry. Traditionally, they rely upon extensive simulation that typically consumes a large amount of compute and design resources. The effectiveness of traditional approaches becomes questionable as the size and complexity of industrial designs increase rapidly. This tutorial aims to provide an overview of practical verification/validation methodologies in use today. It will highlight the key challenges and how these methodologies are evolving. Designers, verification practitioners, as well as tool developers can all be benefited from learning the up-to-date technologies, and application issues/limitations of specific approaches.