Functional Verification Of Programmable Embedded Architectures eBook

Presents a top-down validation methodology that complements the existing bottom-up approaches. This work addresses two fundamental challenges in functional verification: lack of a golden reference model, and lack of a comprehensive functional coverage metric. It is designed for students, researchers, CAD tool developers, designers, and managers.