Advertisement

Logic synthesis and design verification

  • Robert K. Brayton
Invited Lecture
Part of the Lecture Notes in Computer Science book series (LNCS, volume 697)

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Robert K. Brayton
    • 1
  1. 1.Department of Electrical Engineering and Computer SciencesUniversity of California at BerkeleyBerkeley

Personalised recommendations