Sciweavers

17 search results - page 2 / 4
» todaes 1998
Sort
View
TODAES
1998
47views more  TODAES 1998»
14 years 11 months ago
Auxiliary variables for BDD-based representation and manipulation of Boolean functions
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
TODAES
1998
42views more  TODAES 1998»
14 years 11 months ago
Efficient equivalence checking of multi-phase designs using phase abstraction and retiming
Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee
57
Voted
TODAES
1998
69views more  TODAES 1998»
14 years 11 months ago
Breakpoints and breakpoint detection in source-level emulation
Gernot Koch, Wolfgang Rosenstiel, Udo Kebschull