Sciweavers

21984 search results - page 174 / 4397
» C
Sort
View
DATE
2002
IEEE
105views Hardware» more  DATE 2002»
15 years 9 months ago
Functional Verification for SystemC Descriptions Using Constraint Solving
Fabrizio Ferrandi, Michele Rendine, Donatella Sciu...
DATE
2002
IEEE
146views Hardware» more  DATE 2002»
15 years 9 months ago
Automatic Generation of Fast Timed Simulation Models for Operating Systems in SoC Design
To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...
Sungjoo Yoo, Gabriela Nicolescu, Lovic Gauthier, A...
90
Voted
DSD
2002
IEEE
95views Hardware» more  DSD 2002»
15 years 9 months ago
Reachability Analysis for Formal Verification of SystemC
Rolf Drechsler, Daniel Große