Presentation Assignments
All
Papers Available via IEEE Xplore.
Students listed in order of
presentation.
All students should read All papers!
Goals of
Presentation: I expect you to really teach the material in the
paper. This means I don't want a high-speed power-point
presentation which just follows the outline of the paper! Things
to consider:
- Sometimes it is useful to come up with your own examples to
illustrate ideas/theorems in a paper.
- Consider how the paper relates to things we've covered in class.
- Sometimes putting things in the paper into your own words can
help in understanding.
- Leo Kim (Date: Mar 7):
- T. Stanion, C. Sechen, "Boolean
Division and Factorization Using Binary Decision Diagrams", IEEE
TCAD '94, Vol. 13, No.9, 1994, pp. 1179-1184
- Ilie Luican (Date TBD):
- "A new reasoning scheme for
efficient redundancy addition and removal"
Chang, C.-W.J.; Ming-Fu Hsiao; Marek-Sadowska, M.; Computer-Aided
Design of Integrated Circuits and Systems, IEEE Transactions on ,
Volume: 22 , Issue: 7, July 2003 Pages:945 - 951
- Ben Wang (Date TBD):
- J. Cong and Y. Ding, "FlowMap: An Optimal Technology Mapping
Algorithm for Delay Optimization in Lookup-Table Based FPGA Designs",
IEEE Trans. on Computer-Aided Design, vol. 13, no. 1, pp. 1-12,
January 1994.
- Devang Jariwala (Date TBD):
- E. Lehman, Y. Watanabe, J. Grodstein, and H. Harkness. "Logic Decomposition During Technology
Mapping". IEEE Transactions on Computer-Aided Design, August
1997, pp. 813-834.
- Fenghua Yuan (Date TBD):
- "M32: a constructive
multilevel logic synthesis system" Kravets, V.N.; Sakallah,
K.A.; Design Automation Conference, 1998. Proceedings , 15-19 June
1998 Pages:336 - 341
- "Constructive library-aware
synthesis using symmetries"
Kravets, V.N.; Sakallah, K.A.; Design, Automation and Test in Europe
Conference and Exhibition 2000. Proceedings , 27-30 March 2000
Pages:208 - 213
- Madhurima Thevanathan (Date
TBD):
- "A depth-decreasing
heuristic for combinational logic; or how to convert a ripple-carry
adder into a carry-lookahead adder or anything in-between"
Fishburn, J.P.; Design Automation Conference, 1990. Proceedings. 27th
ACM/IEEE , 24-28 June 1990 Pages:361 - 36
- "Performance enhancement
through the generalized bypass transform" McGeer, P.C.; Brayton,
R.K.; Sangiovanni-Vincentelli, A.L.; Sahni, S.K.; Computer-Aided
Design, 1991. ICCAD-91. Digest of Technical Papers., 1991 IEEE
International Conference on , 11-14 Nov. 1991 Pages:184 - 187
- Karthik Krishnamoorthy (Date
TBD):
- "Sibling-substitution-based BDD minimization using don't
cares", Youpyo Hong; Beerel, P.A.; Burch, J.R.; McMillan, K.L.;
Computer-Aided Design of Integrated Circuits and Systems, IEEE
Transactions on , Volume: 19 , Issue: 1, Jan. 2000 Pages:44 - 55