Browsing by Author "Schediwy, Rick"

Now showing 1 - 2 of 2
  • No Thumbnail Available
    ItemMetadata only
    EDICT: AN ENVIRONMENT FOR DESIGN USING INTEGRATED CIRCUIT TOOLS
    (1984-06-01) Birtwistle, Graham; Hill, David; Kendall, John; Coates, Bill; Esau, Richard; Kroeker, Wallace; Liblong, Breen; Liu, Erwin; Melham, Tom; Schediwy, Rick
    We shall conduct research into the design, construction, and applications of a VLSI design environment called EDICT which controls complexity by imposing an iterative structured design methodology, using hierarchies, regularity, and reusable building blocks, and incorporates the different design rules and fabrication processes of most foundries.
  • Thumbnail Image
    ItemOpen Access
    SPECIFICATION AND VLSI DESIGN
    (1985-11-01) Birtwistle, Graham; Joyce, Jeff; Liblong, Breen; Melham, Tom; Schediwy, Rick
    We describe research into specification-based VLSI design underway at the University of Calgary. Our long term research goals are directed towards building a specification-based design environment (EDICT) to support an iterative, hierarchic design methodology. Our current research has three aspects: the SHIFT high level design capture format (completed); gaining experience in verifying large designs (underway); and building a specification library. In this paper we describe work in progress on two large proofs. The first is for the elimination unit of a local area network device, for which the proof is well underway. The second project concerns the specification driven design of Landin's SECD machine and is just beginning. To set the context for this work on verification, we start by giving partial descriptions of EDICT and SHIFT to show how they use specifications.