Browsing by Author "Birtwistle, Graham M."
Now showing 1 - 19 of 19
Results Per Page
Sort Options
Item Open Access A 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.Item Open Access AMULET1: specification and verification in CCS(1995) Liu, Ying; Kendall, E. John M.; Birtwistle, Graham M.Item Open Access An Implementation of higher order logic(1990) Slind, Konrad; Birtwistle, Graham M.Item Open Access Case studies in asynchronous system design(1994) Yu, Wanzhen; Birtwistle, Graham M.Item Open Access Design and verification of IFL(1991) Simpson, Todd G.; Birtwistle, Graham M.Item Open Access Design and verification of IFL : a wide-spectrum intermediate functional language by Todd G. Simpson(1991) Simpson, Todd G.; Birtwistle, Graham M.Item Open Access Implementation of the functional architecture TIM(1991) Hermann, Michael Johann; Birtwistle, Graham M.Item Open Access Integrated environmental support for silicon compilation of digital filters(1986) Kroeker, Wallace I.; Birtwistle, Graham M.Item Metadata only JADE: 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.Item Embargo Local area communications network(1983) Ang, T. D. (Testimony Dy), 1959-; Birtwistle, Graham M.Item Metadata only MULTIPROCESSOR RAY TRACING(1983-10-01) Cleary, John G.; Wyvill, Brian; Birtwistle, Graham M.; Vatti, ReddyNone AvailableItem Open Access Practical verification and synthesis of low latency asynchronous systems(1994) Stevens, Kenneth S.; Birtwistle, Graham M.Item Open Access Reasoning about asynchronous designs in CCS(1992) Liu, Ying; Birtwistle, Graham M.Item Open Access SECD: the design and verification of a functional microprocessor(1990) Graham, Brian T.; Birtwistle, Graham M.Item Open Access Shift: a structured hierarchical intermediate form for VLSI design tools(1984) Liblong, Breen M. (Breen Mathew), 1952-; Birtwistle, Graham M.Item Open Access The Delta chip(1988) Stone, Glen David; Birtwistle, Graham M.Item Open Access The Derivation of a high speed sieve device(1991) Patterson, Cameron Douglas; Birtwistle, Graham M.Item Embargo The Design of an instruction stream memory subsystem(1985) Coates, William Stuart; Birtwistle, Graham M.Item Open Access Two dimensional IC layout compaction(1986) Liu, Erwin Sai Ki, 1955-; Birtwistle, Graham M.