Sciweavers

66 search results - page 1 / 14
» todaes 2008
Sort
View
TODAES
1998
46views more  TODAES 1998»
13 years 5 months ago
A timing-driven design and validation methodology for embedded real-time systems
Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta
TODAES
1998
61views more  TODAES 1998»
13 years 5 months ago
Code generation for fixed-point DSPs
Guido Araujo, Sharad Malik
TODAES
1998
47views more  TODAES 1998»
13 years 5 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»
13 years 5 months ago
Efficient equivalence checking of multi-phase designs using phase abstraction and retiming
Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee