Buscar
Mostrando ítems 1-3 de 3
A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling
(SPRINGER, 2011)
Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their ...
Computational reflection and its application to platform verification
(SpringerDordrechtHolanda, 2012)