Rolf Drechsler
11 published titles
Evolutionary algorithms for VLSI CAD
1 edition
- ISBN: 0792381688
- Kluwer Academic
- 1998
- Details
Formal verification of circuits
1 edition
- ISBN: 079237858X
- Kluwer Academic
- 2000
- Details
Spectral techniques in VLSI CAD
(Contributor)
1 edition
- ISBN: 0792374339
- Kluwer Academic Publishers
- 2001
- Details
Towards one-pass synthesis
1 edition
- ISBN: 1402070446
- Kluwer Academic Publishers
- 2002
- Details
Evolutionary algorithms for embedded system design
(Contributor)
1 edition
- ISBN: 1402072767
- Kluwer Academic
- 2003
- Details
Advanced formal verification
(Contributor)
1 edition
- ISBN: 1402077211
- Kluwer Academic Publishers
- 2004
- Details
Test pattern generation using Boolean proof engines
(Contributor)
1 edition
- ISBN: 9789048123605
- Springer
- 2009
- Details
Quality-driven SystemC design
(Contributor)
1 edition
- ISBN: 9789048136315
- Springer
- 2010
- Details
Debugging at the electronic system level
(Contributor)
1 edition
- ISBN: 9789048192557
- Springer
- 2010
- Details
Towards a design flow for reversible logic
(Contributor)
1 edition
- ISBN: 9789048195794
- Springer
- 2010
- Details
High quality test pattern generation and boolean satisfiability
(Contributor)
1 edition
- ISBN: 9781441999757
- Springer
- 2012
- Details
