Bill Lin, UCSD

Overview Publications

Asynchronous Circuits

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. [paper]

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. [paper]

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.

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

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. [paper]

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

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

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.

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

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.

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.

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.

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

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.

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

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.

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.

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.

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. [paper]

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.

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.

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.

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.

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.

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.

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.

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

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.

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