CS 594 Spring 2005 -- Logic Synthesis

Announcements

• (3/2/05) Presentation assignments here.


• (2/28/05)  HW 3, Part II:
• For the blif files you created in part 1, run the major SIS scripts and report the results (in particular, number of literals) and anything interesting you find interesting.  The scripts can be found in ~jlillis/public/sis_linux/sis/sis_lib.  The scripts you should appy are:
• script
• script.algebraic
• script.boolean
• script.rugged
  
• Look at your classmates' blif files here (tar file)
  
• Using your own and your classmates' circuits as candidate node functions you will create four boolean networks each of which has exactly the same functionality (but all representations are distinct).   The networks should have multiple outputs.
  
• Each representation of the functions should have depth (in number of nodes) of at least 4.
• You can wire things up however you like (so long as the functions are the same).
• You will perform the same experiments (running all 4 scripts) on these boolean networks.
• To help us understand what's going on, include drawings of your 4 boolean networks in your writeup.
• Due:  Monday, Mar 7.
  
  
• blif manual

• (2/21/05)  HW3, Part 1:
• Get the SIS paper here.
• Read the introduction, section 3.2 and Appendix A (blif format)
• Devise two boolean functions over the same set of variables with the following properties:
• Each must have multiple minimum covers
• They have overlapping non-essential primes
• For each pair of min-cover representations of the functions, write a blif file describing a 2-output circuit with these functions as described by the covers.
• List the primes for each function
• Make sure that you have enough variables so that multi-level implementation makes sense.
  
• Goal:  experiment with effects of initial representation on effectiveness of algebraic operations.
  
• Due Wed Feb 23.
  

• (2/7/05) The classic Bryant BDD paper can be found here


• (2/4/05)  Office hours:  Th 1-4pm (936SEO)


• (2/4/05) HW2:  Problems 8,  10, 12 from Chapter 4; Due Friday Feb 11.
  


• Makeup class: Friday, Jan 28 in the normal place


• (1/14/05) HW1: Chapters 3, Problems 3,4,5,7; Due Mon, Jan 24