Outline

2/17/97


Click here to start


Table of Contents

Outline

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