5. FMCAD 2004:
Austin, Texas, USA
: Challenges in System-Level Design.
: Generating Fast Multipliers Using Clever Circuits.
, Carl Pixley
: Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders.
: Simple Yet Efficient Improvements of SAT Based Bounded Model Checking.
, Fabio Somenzi
: Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States.