Bill Lin, UCSD

Overview Publications

Logic Design

Chi-Ying Tsui, Jose Monteiro, Massoud Pedram, Alvin M. Despain, Srinivas Devadas, Bill Lin, "Power Estimation Methods for Sequential Logic Circuits," IEEE Transactions on VLSI Systems, vol. 3, no. 3, pp. 404-416, September 1995. (Best Journal Paper Award). [paper]

Bill Lin, Gjalt de Jong, Tilman Kolks. "Modeling and Optimization of Hierarchical Synchronous Circuits," European Design and Test Conference, p. 144-149, February 1995.

Jose Monteiro, Srinivas Devadas, Bill Lin, "Estimation of Switching Activity in Sequential Logic Circuits with Applications to Synthesis for Low Power," ACM/IEEE Design Automation Conference, p. 12-17, June 1994.

Jose Monteiro, Srinivas Devadas, Bill Lin, Chi-Ying Tsui, Massoud Pedram, Alvin M. Despain, "Exact and Approximate Methods of Switching Activity Estimation in Sequential Logic Circuits," IEEE Workshop on Low-Power, p. 117-122, April 1994.

Bill Lin, "Efficient Symbolic Support Manipulation," International Conference on Computer Design, Cambridge, MA, p. 513-516, October 1993.

Bill Lin, Hugo De Man, "Low-Power Driven Technology Mapping under Timing Constraints," International Conference on Computer Design, Cambridge, MA, p. 421-427, October 1993.

Bill Lin, Hugo De Man, "Low-Power Driven Technology Mapping under Timing Constraints," International Workshop on Logic Synthesis, Lake Tahoe, CA, May 1993.

Bill Lin, "Synchronous Restructuring Algorithms for Optimizing Synchronous Circuits," IEEE Winter VLSI Workshop, Asilomar, CA, February 1993.

Bill Lin, "Restructuring Synchronous Logic Circuitry," European Conference on Design Automation, Paris, France, p. 205-209, February 1993.

Mark Beardslee, Bill Lin, Alberto Sangiovanni-Vincentelli, "Communication Complexity Based Logic Partitioning," European Design Automation Conference (EuroDAC), Hamburg, Germany, September 1992.

Bill Lin, A. Richard Newton, "Exact Removal of Redundant State Registers using Binary Decision Diagrams," In collection entitled Very Large Scale Integration. Elsevier Science Publishers B.V. and North Holland Press. 1992. Editors A. Halass and P. Denyer.

Bill Lin, Olivier Coudert, Jean Christophe Madre, "Symbolic Prime Generation for Multiple-Valued Functions," ACM/IEEE Design Automation Conference, p. 40-44, June 1992.

Takayasu Sakurai, Bill Lin, A. Richard Newton, "Fast Simulated Diffusion: An Optimization Algorithm for Multi-Minimum Problems and Application to MOSFET Parameter Extraction," IEEE Transactions on Computer-Aided Design, vol. 11, (no.2):228-234, February 1992.

Bill Lin, A. Richard Newton, "Implicit Manipulation of Equivalence Classes using Binary Decision Diagrams," International Conference on Computer Design, Cambridge, MA, October 1991.

Bill Lin, Gregory S. Whitcomb, A. Richard Newton, "Symbolic Don't Cares and Equivalence in High-Level Synthesis," In collection entitled Logic and Architectural Synthesis. Elsevier Science Publishers B.V. and North Holland Press. 1991. Editors P. Michel and G. Saucier.

Bill Lin, A. Richard Newton, "Exact Removal of Redundant State Registers using Binary Decision Diagrams," Proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, p. 277-286, August 1991.

Bill Lin, A. Richard Newton, "Implicit Manipulation of Equivalence Classes using Binary Decision Diagrams," International Workshop on Logic Synthesis, Raleigh, NC, May 1991.

Bill Lin, A. Richard Newton, "Exact Removal of Redundant State Registers using Binary Decision Diagrams," International Workshop on Logic Synthesis, Raleigh, NC, May 1991.

Xuejun Du, Gary D. Hachtel, Bill Lin, A. Richard Newton, "MUSE: A Multi-level State Encoding Algorithm for State Assignment," IEEE Transactions on Computer-Aided Design, vol. 10, (no.1):28-38, January 1991.

Bill Lin A. Richard Newton, "Efficient Symbolic Manipulation of Equivalence Relations and Classes," International Workshop on Formal Methods in VLSI Design, Miami, FL, January 1991.

Herve J. Touati, Hamid Savoj, Bill Lin, Robert K. Brayton, A. Sangiovanni-Vincentelli, "Implicit State Enumeration of Finite State Machines Using BDD's," IEEE International Conference on Computer-Aided Design, Santa Clara, CA, p. 130-133, November 1990.

Bill Lin, Herve J. Touati, A. Richard Newton, "Don't Care Minimization of Multi-Level Sequential Logic Networks," IEEE International Conference on Computer-Aided Design, Santa Clara, CA, p. 414-417, November 1990.

Bill Lin, Fabio Somenzi, "Minimization of Symbolic Relations," IEEE International Conference on Computer-Aided Design (Distinguished Paper Citation), Santa Clara, CA, p. 88-91, November 1990.

Bill Lin, A. Richard Newton, "A Circuit Disassembly Technique for Synthesizing Symbolic Layouts from Mask Descriptions," IEEE Transactions on Computer-Aided Design, vol. 9, (no.9):959-969, September 1990.

Bill Lin, A. Richard Newton, "Synthesis of Multiple Level Logic from Symbolic High-Level Description Languages," In collection entitlted Very Large Scale Integration. Elsevier Science Publishers B.V. and North Holland Press. 1990. Editors G. Musgrave and U. Lauther.

Bill Lin, Gregory S. Whitcomb, A. Richard Newton, "Symbolic Don't Cares and Equivalence in High-Level Synthesis," Proceedings of the IFIP TC 10/WG 10.5 International Working Conference on Logic and Architectural Synthesis, Paris, France, May 1990.

Bill Lin, A. Richard Newton, "A Generalized Approach to the Constrained Cubical Embedding Problem," International Conference on Computer Design, Cambridge, Massachusetts, p. 400-403, October 1989.

Bill Lin, A. Richard Newton, "Synthesis of Multiple Level Logic from Symbolic High-Level Description Languages," Proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration (Distinguished Paper Citation), Federal Republic of Germany, p. 187-196, August 1989.

Cho W. Moon, Bill Lin, Hamid Savoj, Robert K. Brayton, "Technology Mapping for Sequential Logic Synthesis," International Workshop on Logic Synthesis, Raleigh, NC, May 1989.

Bill Lin, A. Richard Newton, "Restructuring State Machine and State Assignment: Relationship to Minimizing Logic Across Latch Boundaries," International Workshop on Logic Synthesis, Raleigh, NC, May 1989.

Bill Lin, A. Richard Newton, "KAHLUA: A Hierarchical Circuit Disassembler," ACM/IEEE Design Automation Conference (Best Paper Award), Miami, Florida, p. 311-317, June 1987.