ECE 1767: Writing Assignment

Spring 2001

Some of the following four set of papers are at the end of your ECE-1767 Lecture Notes folder and some can be found here:

Set 1

S.M.Reddy, ``Complete Test Sets for Logic Functions,'' in IEEE Trans. on Computers, vol. C-22, no. 11, pp.1016-1020, November 1973.
B.Chen and C.L.Lee, ``A Complement-Based fast Algorithm to Generate Universal Test Sets for Multi-Output Functions,'' in IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, vol.13, no.3, pp.370-377, March 1994. T.Larrabee ``Test Pattern Generation Using Boolean Satisfiability,'' in IEEE Trans. on CAD, vol.11, no.1, pp.4-15, Jan 1992 PDF or PS

Set 2

S.C.Chang, M.M.Sadowska, and K.T.Cheng ``Perturb and Simplify: Multi level Boolean Network Optimizer'', in IEEE Trans. on CAD, Vol.15, no.12, pp.1494-1504, Dec. 1996 PDF or PS
Q.Wang and S.B.Vrudhula, ``Multi-level Logic Optimization for Low Power using Local Logic Transformations,'' in Proc. of Design Automation Conference, pp. 270-275, 1996. PDF or PS
S.C.Chang, J.C.Chuang, and Z.Z.Wu, ``Synthesis for Multiple Input Wires Replacement of a Gate for Wiring Consideration,'' in Proc. of Int'l Conference on Computer-Aided Design, pp.115-119, 1999. PDF or PS

Set 3

R.E.Bryant, ``Graph-Based Algorithms for Boolean Function Manipulation,'' in IEEE Trans. on Computers, vol. C-35, no.8, pp.677-691, August 1986. (revised edition) PDF or PS
R.Rudell, ``Dynamic Variable Ordering for Ordered Binary Decision Diagrams,'' in Int'l Workshop on Logic Synthesis, 1993. PDF or PS
T.Larrabee ``Test Pattern Generation Using Boolean Satisfiability,'' in IEEE Trans. on CAD, vol.11, no.1, pp.4-15, Jan 1992 PDF or PS

Set 4

W.Kunz and D.Pradhan, ``Recursive Learning: A New Implication Technique for Efficient Solutions to CAD Problems -- Test, Verification and Optimization,'' in IEEE Trans. on Computers, vol. C-13, no.9, pp.1143-1158, Sept 1993. PDF or PS
W.Kunz, D.Stoffel and P.Menon, ``Logic Optimization and Equivalence Checking by Implication Analysis,'' in IEEE Trans. on Computers, vol. C-16, no.3, pp.266-281, March 1997. PDF or PS

For this writing assignment you need to pick any one of the above set of papers and write a summary of the work contained along with you comments. Some of the work in papers of the same set relates and it is suggested that you first read them in the aforementioned order. Your summary should be approximately two A4 (xerox size) single-spaced/single-sided pages long. At the end of your summary, spend some time commenting on the papers that relate to each other as a whole.

Due date: Students will have to turn in their writing assignment during their meeting with the instructor for the project at the end of the semester (Time/Date: TBA). Every student should do this writing assignment individually.