ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753)

TranGen: a SAT-based ATPG for path-oriented transition faults

Kai Yang, Kwang‐Ting Cheng, Li-C. Wang · 2004 · 56 citations

Engineering, Computer Engineering, Fault-tolerant Computing +16

Efficient translation of Boolean formulas to CNF in formal verification of microprocessors

Miroslav N. Velev · 2004 · 53 citations

Engineering, Computer Engineering, Computer Science +11

Design diagnosis using Boolean satisfiability

Alexander Smith, Andreas Veneris, Anastasios Viglas · 2004 · 49 citations

Engineering, Computer Science, Digital Design +14

Register binding and port assignment for multiplexer optimization

D. Chen · 2004 · 46 citations

Engineering, Computer Engineering, Computer Science +17

2.5D system integration: a design driven system implementation schema

Y. Deng, W. Maly · 2004 · 40 citations

Engineering, Computer Engineering, Systems Engineering +17