|
|
|
|
|
|
| Jan 19 | Wang | How to do proofs?
(slides) |
TA | |
| Jan 26 | Wang | Boolean Algebra | TA | |
| Feb 2 | Wang | Universal Logic Design Algorithm and Its Application to the Synthesis of Two Level Switching Circuits (IEEE Proceedings, (3), May 1989.) | H. Mathony | Minxi Gao (Slides) |
| Feb 9 | Hogan | Algorithmic Considerations for XOR-OBDD Reordering | Christoph Meinel | Melvin Tsai |
| Feb 16 | Wang | Negative Thinking for Unate Covering | E. Goldberg | Fan Mo |
| Feb 23 | Wang | Fast Generation of Prime Irredundant Covers from BDDs, and Finding All Simple Disjunctive Decompositions Using Irredundant Sum-of-Products Forms | S. Minato | Trevor Meyerowitz |
| Mar 1 | Wang | Boolean Unification | Brown | Jason Shamberger (Slides) |
| Mar 8 | Wang | SIS Scripts | Subarna Sinha | |
| Mar 15 | 293 Cory | Programming with BDDs | Subarna Sinha | |
| Mar 22 | Wang | GRASP: A Search Algorithm for Propositional Satisfiability | J.P. Marques-Silva and K.A. Sakallah | |
| Mar 29 | Wang | Spring Break | ||
| Apr 5 | Wang | Optimum Technology Mapping for Delay | Y. Kukimoto | Bret Victor (Slides) |
| Apr 12 | Wang | Circuit Optimization by Rewiring | Chang, van Ginneken and
Marek-Sadowska |
Yujia Jin |
| Apr 19 | Wang | Sequential Optimization without State Space Exploration | A. Mehrotra | Andrew Mihal (Slides) |
| Apr 26 | Wang | Efficient Retiming via Clock Skew Optimization | Sapatnekar | Mike Sheets |
| May 3 | Wang | SAT algorithms in EDA Applications | Mukul Prasad (Slides) |
|