Please use this identifier to cite or link to this item:
Authors: Birtwistle, Graham
Joyce, Jeff
Liblong, Breen
Melham, Tom
Schediwy, Rick
Keywords: Computer Science
Issue Date: 1-Nov-1985
Abstract: 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.
Appears in Collections:Birtwistle, Graham

Files in This Item:
File Description SizeFormat 
1985-220-33.pdf2.53 MBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.