428 search results - page 3 / 86 » Validating High-Level Synthesis |
VLSID
2003
IEEE
2003
IEEE
High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap
14 years 6 months ago
TVLSI
2008
13 years 6 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
BICA
2010
13 years 1 months ago
2010
We present a docking study for Herbal, a high-level behavioral representation language based on the problem space computational model. This study docks an ACT-R model created with ...
VTS
2002
IEEE
13 years 11 months ago
2002
IEEE
MTV
2006
IEEE
14 years 12 days ago
2006
IEEE
—Our Mutation-based Validation Paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently generate test sequences, we nee...