428 search results - page 3 / 86 » Validating High-Level Synthesis |
67
Voted
VLSID
2003
IEEE
2003
IEEE
High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap
16 years 11 hour ago
112
click to vote
TVLSI
2008
14 years 11 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, ...
136
click to vote
BICA
2010
14 years 6 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
15 years 4 months ago
2002
IEEE
98
Voted
MTV
2006
IEEE
15 years 5 months 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...