Table of ContentsOutline Implementation of Logic Using Switches Series-Parallel Networks Multiplexer Trees Using Switches Multiplexer Design Using Multiplexers Design Using Multiplexers Binary Decision Diagrams Implementation of Logic Using Switches Binary Decision Diagrams Use of BDDs for Verification Use of BDDs for Verification Use of BDDs for Verification Combinational Verification Using Canonical Form Connectivity Verification Connectivity Verification |
Email: rnewton@ic.eecs.berkeley.edu
Home Page: http://www-inst.eecs.Berkeley.edu/~cs150 |