Author of the publication

Building Circuits from Relations.

, and . CAV, volume 1855 of Lecture Notes in Computer Science, page 113-123. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Techniques for Implicit State Enumeration of EFSMs., , and . FMCAD, volume 1522 of Lecture Notes in Computer Science, page 469-482. Springer, (1998)Generator-based Verification., and . ICCAD, page 146-153. IEEE Computer Society / ACM, (2003)Least fixpoint approximations for reachability analysis., , , and . ICCAD, page 41-44. IEEE Computer Society, (1999)To split or to conjoin: the question in image computation., , , and . DAC, page 23-28. ACM, (2000)Hybrid Verification Using Saturated Simulation., , and . DAC, page 615-618. ACM Press, (1998)Combinational equivalence checking through function transformation., , , and . ICCAD, page 526-533. ACM / IEEE Computer Society, (2002)Bitwise Encoding of Finite State Machines., , , and . VLSI Design, page 379-382. IEEE Computer Society, (1994)Simplifying Circuits for Formal Verification Using Parametric Representation., , , , and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 52-69. Springer, (2002)Object relocation in OX.. ICCD, page 8-10. IEEE, (1988)Finite State Machine Decomposition by Transition Pairing., and . ICCAD, page 414-417. IEEE Computer Society, (1991)