Browsing by Author "Birtwistle, Graham M."
Now showing 1 - 19 of 19
Results Per Page
Sort Options
- ItemOpen AccessA CMOS cell architecture and library(1986) Schediwy, Richard Robert; Birtwistle, Graham M.One of the major problems faced in VLSI chip design is the potential for overwhelming complexity. Design complexity brings with it long design cycles and wide margins for error. This thesis has developed a partial solution to the problem in the form of a cell library and its associated methodology. A variety of primitive CMOS circuit elements have been designed with generality and longevity in mind. Experience has shown that, when using these cells, the penalties paid in area, power and delay are tolerable. Indeed, the penalties are more than compensated by very rapid design times, process independence and design longevity. The primitive cells are composable into more complex elements, sub-systems and ultimately, complete chips. Primitive cells are designed on a fine grid tuned to generalized CMOS lambda rules. By restricting their borders, port positions and interconnect style, we can abstract all lambda dependent design rule details away at higher levels. Thus, at the composition level, we can work entirely on a coarser grid with the guarantee of being free from lambda design rule errors. The composition rules for the coarse grid are few, simple and easy to enforce. Sub-systems thus composed are regular and compatible and may be retained for use as primitives in the library. The associated methodology provides a top-down design style which can be consistently applied to designing new primitive cells and to composing new sub-systems. It eases some of the problems of complex design by supporting abstraction and composition. The methodology is easy to learn by beginners, easy to use and provides a fundamental broad base for design automation tools. Several chips designed using this methodology have been fabricated and tested. The library is now an established component of the Electric design system and is available through MOS IS.
- ItemOpen AccessAMULET1: specification and verification in CCS(1995) Liu, Ying; Kendall, E. John M.; Birtwistle, Graham M.
- ItemOpen AccessAn Implementation of higher order logic(1990) Slind, Konrad; Birtwistle, Graham M.
- ItemOpen AccessCase studies in asynchronous system design(1994) Yu, Wanzhen; Birtwistle, Graham M.
- ItemOpen AccessDesign and verification of IFL(1991) Simpson, Todd G.; Birtwistle, Graham M.
- ItemOpen AccessDesign and verification of IFL : a wide-spectrum intermediate functional language by Todd G. Simpson(1991) Simpson, Todd G.; Birtwistle, Graham M.
- ItemOpen AccessImplementation of the functional architecture TIM(1991) Hermann, Michael Johann; Birtwistle, Graham M.
- ItemOpen AccessIntegrated environmental support for silicon compilation of digital filters(1986) Kroeker, Wallace I.; Birtwistle, Graham M.
- ItemMetadata onlyJADE: a distributed software prototyping environment(1983-04-01) Witten, Ian H.; Birtwistle, Graham M.; Cleary, John; Hill, David R.; Levinson, Danny; Lomow, Greg; Neal, Radford; Peterson, Murray; Unger, Brian W; Wyvill, BrianThe Jade research project is aimed at building an environment which comfortably supports the design, construction, and testing of distributed computer systems. This note is an informal project description which delimits the scope of the work and identifies the research problems which are tackled. Some design issues are discussed, and progress to date is described.
- ItemEmbargoLocal area communications network(1983) Ang, T. D. (Testimony Dy), 1959-; Birtwistle, Graham M.
- ItemMetadata onlyMULTIPROCESSOR RAY TRACING(1983-10-01) Cleary, John G.; Wyvill, Brian; Birtwistle, Graham M.; Vatti, ReddyNone Available
- ItemOpen AccessPractical verification and synthesis of low latency asynchronous systems(1994) Stevens, Kenneth S.; Birtwistle, Graham M.
- ItemOpen AccessReasoning about asynchronous designs in CCS(1992) Liu, Ying; Birtwistle, Graham M.
- ItemOpen AccessSECD: the design and verification of a functional microprocessor(1990) Graham, Brian T.; Birtwistle, Graham M.
- ItemOpen AccessShift: a structured hierarchical intermediate form for VLSI design tools(1984) Liblong, Breen M. (Breen Mathew), 1952-; Birtwistle, Graham M.
- ItemOpen AccessThe Delta chip(1988) Stone, Glen David; Birtwistle, Graham M.
- ItemOpen AccessThe Derivation of a high speed sieve device(1991) Patterson, Cameron Douglas; Birtwistle, Graham M.
- ItemEmbargoThe Design of an instruction stream memory subsystem(1985) Coates, William Stuart; Birtwistle, Graham M.
- ItemOpen AccessTwo dimensional IC layout compaction(1986) Liu, Erwin Sai Ki, 1955-; Birtwistle, Graham M.