Complete List of Publications and Awarded Patents

    Awarded Patents

  1. System and method for generating a hazard-free asynchronous circuit. Issued in May, 1998.

  2. Design environment and a design method for hardware/software co-design. Issued in February, 1999.

    Archival Journals

  3. Shan Yan, Bill Lin, "Custom Networks-on-Chip Architectures with Multicast Routing," IEEE Transactions on VLSI Systems, accepted for publication, 2008.

  4. Bill Lin, "Compiling Concurrent Programs for Embedded Sequential Execution," Integration: the VLSI Journal, Elsevier Press, vol. 40, issue 2, pp. 106-117, February 2007.

  5. Julio Leao da Silva Jr., Chantal Ykman-Couvreur, Gjalt de Jong, Bill Lin, Diederik Verkest, Francky Catthoor, "System Specification for Applications with Dynamic Data Storage and Intensive Data Transfer," SBmicro Journal of Solid State Devices and Circuits. pages 24-31, January 1999.

  6. Kenneth Yun, Bill Lin, David Dill, Srinivas Devadas, "Performance-driven Synthesis of Asynchronous Controllers," IEEE Transactions on Computer-Aided Design, vol. 17, no. 9, September 1998.

  7. Milton Sawasaki, Chantal Ykman, Bill Lin, "Externally Hazard-Free Implementations of Asynchronous Control Circuits," IEEE Transactions on Computer-Aided Design, vol. 16, no. 6, August 1997.

  8. Steven Vercauteren, Bill Lin, "Hardware/Software Communication and System Integration for Embedded Architectures," Design Automation for Embedded Systems, (Kluwer Journal Press), vol. 2, no. 3/4, May 1997.

  9. Hugo De Man, Ivo Bolsens, Bill Lin, Karl Van Rompaey, Steven Vercauteren, Diedrick Verkest, "Hardware-Software Codesign of Digital Telecommunication Systems," Proceedings of the IEEE, vol. 85, (no.3):391-418, March 1997.

  10. 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).

  11. Bill Lin, Srinivas Devadas, "Synthesis of Hazard-Free Multi-Level Logic Implementations under Multiple-Input Changes from Binary Decision Diagrams," IEEE Transactions on Computer-Aided Design, vol. 14, (no.8):974-985, August 1995.

  12. Steven Vercauteren, Bill Lin, Hugo De Man, "A High-Level Asynchronous Compiler for System Interface Modules," DSP Applications Journal, 1994.

  13. Peter Vanbekbergen, Gert Goossens, Bill Lin, Hugo De Man, "A Generalised State Assignment Theory for Transformations on Signal Transition Graphs," Journal on VLSI Signal Processing, (Kluwer Academic Press), vol. 7, (no.1-2):101-115, February 1994.

  14. 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.

  15. 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.

  16. 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.

    17. Conference and Symposium Proceedings

  17. Jerry Chou, Bill Lin, Subhabrata Sen, Oliver Spatscheck, "Proactive Surge Protection: A Defense Mechanism for Bandwidth-Based Attacks," 17th Usenix Security Symposium, San Jose, CA, July 28-August 1, 2008.

  18. Bill Lin, Jun Xu, "DRAM is Plenty Fast for Wirespeed Statistics Counting," ACM HOTMETRICS, Hot Topics in Measurement and Modeling of Computer Systems, Annapolis, MD, June 6, 2008.

  19. Shan Yan, Bill Lin, "Application-Specific Network-on-Chip Architecture Synthesis based on Set Partitions and Steiner Trees," 13th Asia and South Pacific Design Automation Conference (ASPDAC), Seoul, Korea, January 21-24, 2008.

  20. Bill Lin, Isaac Keslassy, "Frame-Aggregated Concurrent Matching Switch," ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), Orlando, FL, December 3-4, 2007.

  21. Jerry Chou, Bill Lin, Subhabrata Sen, Oliver Spatscheck, "Minimizing Collateral Damage by Proactive Surge Protection," ACM SIGCOMM 2007 Workshop on Large-Scale Attack Defense (LSAD), Kyoto, Japan, August 27, 2007.

  22. Shan Yan, Bill Lin, "Stream execution on wide-issue clustered VLIW architectures," ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), San Diego, California, USA, June 13-15, 2007.

  23. Hao Wang, Bill Lin, "Pipelined van Emde Boas Tree: Algorithms, Analysis, and Applications," IEEE Infocom,, Anchorage, AK, May 7-11, 2007.

  24. Hao Wang, Bill Lin, "On the Efficient Implementation of Pipelined Heaps for Network Processing," IEEE Global Communications Conference (Globecom'06), San Francisco, CA, November 1-December 1, 2006.

  25. Mayank Kabra, Siddhartha Saha, Bill Lin, "Fast Buffer Memory with Deterministic Packet Departures," IEEE Hot Interconnects XIV, Stanford, CA, August 23-25, 2006.

  26. Bill Lin, Isaac Keslassy, "The Concurrent Matching Switch Architecture," IEEE Infocom, Barcelona, Spain, April 2006.

  27. Bill Lin, Isaac Keslassy, "A Scalable Switch for Service Guarantees," IEEE Hot Interconnects XIII, Stanford, CA, August 2005.

  28. Stefano Santi, Bill Lin, Ljupco Kocarev, Gian Mario Maggio, Riccardo Rovatti, Gianluca Setti, "On the Impact of Traffic Statistics on Quality of Service for Networks on Chip," IEEE International Symposium on Circuits and Systems (ISCAS'05), Kobe, Japan, May, 2005.

  29. Michael Roeder, Bill Lin, "Maintaining Exact Statistics Counters with a Multi-Level Counter Memory," IEEE Global Communications Conference (Globecom'04), Dallas, Texas, Vol. 2, pages 576-581, November, 2004.

  30. Ranjita Bhagwan, Bill Lin, "Design of a High-Speed Packet Switch for Fine-Grained Quality-of-Service Guarantees," IEEE International Conference on Communications (ICC'00), New Orleans, Vol. 3, pages 1430-1434, June 2000.

  31. Ranjita Bhagwan, Bill Lin, "Fast and Scalable Priority Queue Architecture for High-Speed Network Switches," IEEE Infocom, Tel Aviv, Vol. 2, pages 538-547, March 2000.

  32. Bryan Talbot, Timothy Sherwood, Bill Lin, "IP Caching for Terabit Speed Routers," IEEE Global Communications Conference (Globecom'99), Rio de Janeiro, Brazil, Vol. 2, pages 1565-1569, December, 1999.

  33. Xiaohan Zhu, Bill Lin, "Compositional Software Synthesis of Communicating Processes", International Conference on Computer Design, pages 646-651, October 1999.

  34. James Hurt, Andrew May, Xiaohan Zhu, Bill Lin, "Design and Implementation of High-Speed Symmetric Crossbar Schedulers," IEEE International Conference on Communications (ICC'99), Vancouver, pages 253-258, June, 1999.

  35. Xiaohan Zhu, Bill Lin, "Hardware Compilation for FPGA-based Configurable Computing Machines," ACM/IEEE Design Automation Conference, New Orleans, LA, pages 697-702, June 1999.

  36. Bill Lin, "Software Synthesis of Process-Based Concurrent Programs," ACM/IEEE Design Automation Conference, pages 502-505, June 1998.

  37. Bill Lin, "Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling," Design Automation and Test in Europe Conference, February 1998.

  38. Steven Vercauteren, Gjalt de Jong, Bill Lin, "Efficient Verification using Generalized Partial Order Analysis," Design Automation and Test in Europe Conference, February 1998.

  39. Steven Vercauteren, Diederick Verkest, Gjalt de Jong, Bill Lin, "Derivation of Formal Representations from Process-based Specification and Implementation Models," IEEE International Symposium on System Synthesis, pages 16-23, September 1997.

  40. Julio Leao da Silva Jr., Chantal Ykman-Couvreur, Gjalt de Jong, Bill Lin, Hugo De Man, "A System Design Methodology for Telecommunication Network Applications," The Seventh Great Lakes Symposium on VLSI, p. 64-69, March 1997.

  41. Sven Wuytack, Francky Catthoor, Gjalt De Jong, Bill Lin, Hugo De Man, "Flow Graph Balancing for Minimizing the Required Memory Bandwidth," IEEE International Symposium on System Synthesis, p. 127-132, November 1996.

  42. Bill Lin, Karl Van Rompaey, Steven Vercauteren, Diederick Verkest, Ivo Bolsens, Hugo De Man, "Designing Single-Chip Systems," Invited Paper, The 2nd International Conference on ASIC, p. T6-11, October 1996.

  43. Eric Verlind, Gjalt De Jong, Bill Lin, "Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems," ACM/IEEE Design Automation Conference, p. 55-58, June 1996.

  44. Tilman Kolks, Steven Vercauteren, Bill Lin, "Control Resynthesis for Control-Dominated Asynchronous Designs," International Symposium on Advanced Research in Asynchronous Circuits and Systems, p. 233-243, March 1996.

  45. Hugo De Man, Ivo Bolsens, Bill Lin, Karl Van Rompaey, Steven Vercauteren, Diedrick Verkest, "Co-Design of DSP Systems," In collection entitled Hardware/Software Codesign, Kluwer Academic Publishing, January 1996. Editor. G. De Micheli.

  46. Steven Vercauteren, Bill Lin, Hugo De Man, "Constructing Application-Specific Heterogeneous Embedded Architectures for Custom HW/SW Applications," ACM/IEEE Design Automation Conference, p. 521-526, June 1996.

  47. Steven Vercauteren, Bill Lin, Hugo De Man, "A Strategy for Real-Time Kernel Support in Application-Specific HW/SW Embedded Architectures," ACM/IEEE Design Automation Conference, p. 678-683, June 1996.

  48. Bill Lin, "A System Design Methodology for Software/Hardware Co-Development of Telecommunication Network Applications," ACM/IEEE Design Automation Conference, p. 672-677, June 1996.

  49. Bill Lin, "System Design Tools for Broadband Telecom Network Applications," European Design and Test Conference, p. 23-26, March 1996.

  50. Bill Lin, Steven Vercauteren, Hugo De Man, "Embedded Architecture Co-Synthesis and System Integration," International Workshop on Hardware/Software Codesign, p. 2-9, March 1996.

  51. Robert M. Fuhrer, Bill Lin, Steven M. Nowick. "Symbolic Hazard-Free Minimization and Encoding of Asynchronous Finite State Machines," IEEE International Conference on Computer-Aided Design, p. 604-611, November 1995.

  52. Eric Verlind, Gjalt De Jong, Bill Lin, "Efficient Timing Analysis of Highly Concurrent Systems," ACM International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, p. 282-293, November 1995.

  53. Bill Lin, Gjalt De Jong, Carl Verdonck, Sven Wuytack, Francky Catthoor, "Background Memory Management for Dynamic Data Structures Intensive Processing Systems," IEEE International Conference on Computer-Aided Design, p. 515-520, November 1995.

  54. Chantal Ykman, Bill Lin. "Efficient State Assignment Framework for Asynchronous State Graphs," International Conference on Computer Design, p. 692-697, October 1995.

  55. Milton Sawasaki, Chantal Ykman, Bill Lin. "Externally Hazard-Free Implementations of Asynchronous Control Circuits," ACM/IEEE Design Automation Conference, p. 718-724, June 1995.

  56. Hugo De Man, Ivo Bolsens, Bill Lin, Karl Van Rompaey, Steven Vercauteren, Diedrick Verkest, "Co-Design of DSP Systems," NATO Advanced Study Institute Workshop on Hardware/Software Codesign, Lake Como, Italy, June 1995.

  57. Bill Lin, Gjalt de Jong, Tilman Kolks. "Hierarchical Optimization of Asynchronous Circuits," ACM/IEEE Design Automation Conference, p. 712-717, June 1995.

  58. Robert M. Fuhrer, Bill Lin, Steven M. Nowick. "Symbolic Hazard-Free Minimization and Encoding of Asynchronous Finite State Machines," International Workshop on Logic Synthesis, Lake Tahoe, CA, May 1995.

  59. Chantal Ykman, Bill Lin. "Optimized State Assignment for Asynchronous Control Circuits," 2nd Working Conference on Asynchronous Design Methodologies, p. 118-127, May 1995.

  60. Robert M. Fuhrer, Bill Lin, Steven M. Nowick. "Algorithms for the Optimal State Assignment of Asynchronous State Machines," Advanced Research in VLSI, Chapel-Hill, NC, p. 59-75, March 1995.

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

  62. Kenneth Yun, Bill Lin, David Dill, Srinivas Devadas, "Performance-driven Synthesis of Asynchronous Controllers," IEEE International Conference on Computer-Aided Design, p. 550-557, November 1994.

  63. Gert Goossens, Ivo Bolsens, Bill Lin, Francky Catthoor, "Design of Heterogeneous ICs for Mobile and Personal Communication Systems," Invited Paper, IEEE International Conference on Computer-Aided Design, p. 524-531, November 1994.

  64. Bill Lin, Steven Vercauteren, "Synthesis of Concurrent System Interface Modules with Automatic Protocol Conversion Generation," IEEE International Conference on Computer-Aided Design, p. 101-108, November 1994.

  65. Bill Lin, Srinivas Devadas, "Synthesis of Hazard-Free Multi-Level Logic Implementations under Multiple-Input Changes from Binary Decision Diagrams," IEEE International Conference on Computer-Aided Design, p. 542-549, November 1994.

  66. Peter Vanbekbergen, Gert Goossens, Bill Lin, "Modeling and Synthesis of Timed Asynchronous Circuits," European Design Automation Conference (EuroDAC), p. 460-465, September 1994.

  67. Bill Lin, Chantal Ykman-Couvreur, Peter Vanbekbergen, "A General State Graph Transformation Framework for Asynchronous Synthesis," European Design Automation Conference (EuroDAC), p. 448-453, September 1994.

  68. 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.

  69. Gjalt De Jong, Bill Lin, "A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules," ACM/IEEE Design Automation Conference (Best Paper nomination), p. 49-55, June 1994.

  70. Eric Verlind, Tilman Kolks, Gjalt De Jong, Bill Lin, Hugo De Man, "A Time Abstraction Method for Efficient Verification of Communicating Systems," ACM/IEEE Design Automation Conference, p. 609-614, June 1994.

  71. Alex Kondratyev, Michael Kishinevsky, Bill Lin, Peter Vanbekbergen, and Alexander Yakovlev, "Basic Gate Implementation of Speed-Independent Circuits," ACM/IEEE Design Automation Conference, p. 56-62, June 1994.

  72. 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.

  73. Peter Vanbekbergen, Chantal Ykman-Couvreur, Bill Lin, Hugo De Man, "A Generalised Signal Transition Graph Model for Specification of Complex System-Level Interfaces" European Design and Test Conference, Paris, France, p. 378-384, February 1994.

  74. Tilman Kolks, Bill Lin, Hugo De Man, "Sizing and Verification of Communication Buffers for Communicating Processes," IEEE International Conference on Computer-Aided Design, Santa Clara, CA, p. 660-664, November 1993.

  75. Tilman Kolks, Bill Lin, Hugo De Man, "Sizing of Communication Buffers for Communicating Signal Processors," IEEE Workshop on VLSI Signal Processing, Veldhoven, The Netherlands, p. 426-434, October 1993.

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

  77. 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.

  78. Tilman Kolks, Bill Lin, Hugo De Man, "Sizing of Communication Buffers for Communicating Signal Processors," In collection entitled VLSI Signal Processing VI, p. 426-434, IEEE Press, New York. 1993. Editors L.Eggermont, P.Dewilde, E.Deprettere, and J.van Meerbergen.

  79. Peter Vanbekbergen, Gert Goossens, Bill Lin, "Relational and Timing Semantics for a Timed Signal Transition Graph Model," ACM International Workshop on Timing Issues in Specification, Synthesis, and Analysis of Digital Systems, Malente, Germany, September 1993.

  80. Milton Sawasaki, Bill Lin, Hugo De Man, "A Relational System and the Modeling of Metastability and its Effects in Signal Synchronization," ACM International Workshop on Timing Issues in Specification, Synthesis, and Analysis of Digital Systems, Malente, Germany, September 1993.

  81. Bill Lin, Chantal Ykman-Couvreur, "Synthesis of Burst-Mode and Asynchronous Finite State Machines at the State Graph Level," ACM International Workshop on Timing Issues in Specification, Synthesis, and Analysis of Digital Systems, Malente, Germany, September 1993.

  82. Alex Kondratyev, Michael Kishinevsky, Bill Lin, Peter Vanbekbergen, Alexander Yakovlev, "On the Conditions for Gate-Level Speed-Independence of Asynchronous Circuits," ACM International Workshop on Timing Issues in Specification, Synthesis, and Analysis of Digital Systems, Malente, Germany, September 1993.

  83. Peter Vanbekbergen, Chantal Ykman-Couvreur, Bill Lin, Hugo De Man, "Generalizing Signal Transition Graphs for Modeling Mixed Asynchronous/Synchronous and Arbitration Behavior," International Workshop on Logic Synthesis, Lake Tahoe, CA, May 1993.

  84. Chantal Ykman-Couvreur, Peter Vanbekbergen, Bill Lin, "Concurrency Reduction Transformations on State Graphs for Asynchronous Circuit Synthesis," International Workshop on Logic Synthesis, Lake Tahoe, CA, May 1993.

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

  86. Chantal Ykman-Couvreur, Bill Lin, Gert Goossens, Hugo De Man, "Synthesis and Optimization of Asynchronous Controllers Based on Extended Lock Graph Theory," European Conference on Design Automation, Paris, France, p. 512-517, February 1993.

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

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

  89. Bill Lin, "Specification and Compilation of Asynchronous Interface Circuits," Dagstuhl Seminar, Dagstuhl, Germany, December 1992.

  90. Peter Vanbekbergen, Gert Goossens, Bill Lin, Hugo De Man, "A Generalised State Assignment Theory for Transformations on Signal Transition Graphs," IEEE International Conference on Computer-Aided Design, Santa Clara, CA, p. 112-117, November 1992.

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

  92. Bill Lin, "Specification and Compilation of Asynchronous Interface Circuits," ACiD-WG Workshop on Asynchronous Interfacing, Leuven, Belgium, September 1992.

  93. 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.

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

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

  96. 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.

  97. 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.

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

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

  100. 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.

  101. 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.

  102. 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.

  103. 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.

  104. 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.

  105. 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.

  106. 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.

  107. 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 (Best Paper nomination), Federal Republic of Germany, p. 187-196, August 1989.

  108. 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.

  109. 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.

  110. 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.
 		 

 

© 2002 by University of California, San Diego. All Rights Reserved