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