Sciweavers

16 search results - page 1 / 4
» dsd 2002
Sort
View
DSD
2002
IEEE
95views Hardware» more  DSD 2002»
13 years 10 months ago
Reachability Analysis for Formal Verification of SystemC
Rolf Drechsler, Daniel Große
DSD
2002
IEEE
79views Hardware» more  DSD 2002»
13 years 10 months ago
Source Code Transformation to Improve Conditional Hardware Reuse
Olga Peñalba, José M. Mendías...
DSD
2002
IEEE
97views Hardware» more  DSD 2002»
13 years 10 months ago
Recursive Bi-Partitioning of Netlists for Large Number of Partitions
Rolf Drechsler, Wolfgang Günther, Thomas Esch...
ASE
2002
137views more  ASE 2002»
13 years 4 months ago
The DSD Schema Language
XML (Extensible Markup Language), a linear syntax for trees, has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the application o...
Nils Klarlund, Anders Møller, Michael I. Sc...