Cohesive Coverage Management Leveraging Formal Test Plans, Fachbücher von P. P. Chakrabarti, Aritra Hazra, Pallab Dasgup...

Das Buch "Cohesive Coverage Management Leveraging Formal Test Plans" bietet eine umfassende Analyse der Herausforderungen und Strategien im Bereich der Designverifikation, insbesondere im Kontext der zunehmenden Komplexität von Hardware-Designs. Angesichts der rasanten Entwicklung neuer Technologien wird die Notwendigkeit, die Korrektheit dieser Designs sicherzustellen, immer dringlicher. Die Autoren, Aritra Hazra, Pallab Dasgupta und P. P. Chakrabarti, beleuchten die Bedeutung der Abdeckung verifizierter Funktionalitäten und die Notwendigkeit, die Verifikationsanstrengungen zu vervollständigen. Sie argumentieren, dass die Zukunft der Designverifikation in der Kombination von Simulation und formalen Verifikationstechniken liegt. Das Buch zielt darauf ab, die Beziehungen zwischen Testplänen, Assertions und Testbenches zu formalisieren, um eine effektivere Strategie für das Management der Abdeckung in der Verifikation zu entwickeln. Die vorgestellten Methoden sollen dazu beitragen, die Techniken des kohärenten Abdeckungsmanagements in den Validierungsprozess von Designs breiter zu integrieren.