A Coherent VLSI Design Environment. (2002)
Glasser,Lance A., Leiserson,Charles E., Rivest,Ronald L.
This report covers the period from April 1, 1985 through September 30, 1985. The research discussed here is described in more detail in several published and unpublished reports cited. The CAD frame...
Macromodeling and Optimization of Digital MOS VLSI Circuits, (2002)
Matson,Mark D., Glasser,Lance A.
Power consumption and signal delay are crucial to the design of high-performance VLSI circuits. This paper presents CAD tools for modeling and optimizing digital MOS designs. The tools determine the...
Synthesis of a Self-Timed Controller for a Successive-Approximation A/D Converter, (2002)
Chu, Tam-Anh, Glasser, Lance A.
This paper documents the procedure for designing a self-timed controller for a successive-approximation A/D converter. From the functional specification, a Signal Transition Graph is constructed to...
Synchronizer Failure in A/D Converters, (2002)
Analog-to-digital converters that must produce a valid output in a specified period of time are subject to synchronizer failure. Three types of A/D converters are examined: flash converters, clocked...
Methodology Verification of Hierarchically Described VLSI Circuits, (2002)
Bain, Isaac L., Glasser, Lance A.
The standard approach to master the complexity of designing VLSI systems is to adopt a set of rules that, when respected, are conducive to correct implementations. Any such collection of rules can be...
A Coherent VLSI Design Environment. (2002)
Dally, William J., Glasser, Lance A., Leiserson, Charles E.
The CAD frame Schema has been outfitted with a uniform protocol or aggregate data structures, which includes new control structures for examining and searching through the data structures. Circuit...
A Coherent VLSI Environment. (2002)
Dally,William J., Glasser,Lance A., Leighton,F. T.
It is important to know how fast a rise time can be achieved, or at what frequencies unwanted oscillations might occur. A set of necessary and sufficient bounds are now possible, in the sense that...
RELIC: A Reliability Simulator for Integrated Circuits, (1998)
Hohol, Teresa S., Glasser, Lance A.
Many of the failure mechanisms which cause reliability problems in VLSI chips can be influenced or avoided in the circuit design phase. RELIC is a reliability simulator developed to analyze and...
Critical Problems in Very Large Scale Computer Systems. (1998)
Agarwal, Anant, Dally, William J., Glasser, Lance A.
This is the first semiannual report on this contract. The purpose of the present contract is to investigate limiting technologies for a very large computer system, one which, if built during the mid...
The Waveform Bounding Approach to Timing Analysis of Digital MOS IC's. (1998)
Zukowski, Charles, Glasser, Lance A., Bassett, Paul
The waveform bounding approach to fast timing analysis of MOS VLSI circuits is discussed. The idea is to compute rigorous closed-form expressions giving upper and lower bounds for transient voltage...
A Coherent VLSI Design Environment. (1998)
Dally, William J., Glasser, Lance A., Leighton, F. T.
It has been an open question in electrical network theory whether it is possible to synthesize a network with a prescribed natural frequency (in the complex s-plane) out of a restricted class of...
Theory and Practice for Large-Scale Systems. (1998)
Antoniadis, Dimitri A., Fonstad, Clifton G., Glasser, Lance A., Rivest, Ronald L.
A better understanding of the limiting mechanisms in heterojunction transistors is leading to improved devices. Installation of an MBE system will allow production of the first samples in December...
A Fast Multiport Memory Based on Single-Port Memory Cells. (1998)
Rivest, Ronald L., Glasser, Lance A.
We present a new design for dual-port memories that uses single-port memory cells but guarantees fast deterministic read/write access. The basic unit of storage is the word, rather than the bit, and...