Sciweavers

16 search results - page 1 / 4
» dsd 2002
Sort
View
DSD
2002
IEEE
95views Hardware» more  DSD 2002»
14 years 2 months ago
Reachability Analysis for Formal Verification of SystemC
Rolf Drechsler, Daniel Große
DSD
2002
IEEE
79views Hardware» more  DSD 2002»
14 years 2 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»
14 years 2 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 9 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...