Sciweavers

21984 search results - page 174 / 4397
» C
Sort
View
155
Voted
CODES
2002
IEEE
16 years 1 days ago
Reconfigurable SoC design with hierarchical FSM and synchronous dataflow model
Sunghyun Lee, Sungjoo Yoo, Kiyoung Choi
DATE
2002
IEEE
105views Hardware» more  DATE 2002»
16 years 1 days ago
Functional Verification for SystemC Descriptions Using Constraint Solving
Fabrizio Ferrandi, Michele Rendine, Donatella Sciu...
182
Voted
DATE
2002
IEEE
146views Hardware» more  DATE 2002»
16 years 1 days 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...
DSD
2002
IEEE
95views Hardware» more  DSD 2002»
16 years 1 days ago
Reachability Analysis for Formal Verification of SystemC
Rolf Drechsler, Daniel Große