Browsing by Author "Liblong, Breen"

Now showing 1 - 6 of 6
  • 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.
  • No Thumbnail Available
    ItemMetadata only
    SIMULA BIBLIOGRAPHY
    (1984-06-01) Birtwistle, Graham; Liblong, Breen; Wyvill, Brian
    No Abstract
  • 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.
  • No Thumbnail Available
    ItemMetadata only
    TOWARDS A VLSI DESIGN TOOL SYSTEM
    (1984-11-01) Liblong, Breen; Melham, Tom; Birtwistle, Graham; Kendall, John
    This paper outlines a proposal for VLSI design tools at Calgary. The system will allow a designer to specify the behaviour of a circuit and to generate verified designs. The central element in the environment is a very high level intermediate form which guarantees consistency throughout the design cycle. The VLSI tools will be built on top of the JADE distributed prototyping environment which is also under development at the University of Calgary.
  • No Thumbnail Available
    ItemMetadata only
    USING RECURSION TO DESCRIBE POLYGONAL SURFACES
    (1982-12-01) Wyvill, Brian; Liblong, Breen; Hutchinson, Norman
    We describe a three dimensional graphics editor called PG (Polygon Groper) and its use by artists for defining and viewing solid objects. A simple set of commands in PG are used to manipulate 3D models. The models are stored as a hierarchy of objects, where each object represents a geometrical transformation of another object or a primitive polygon. It has been found that a hierarchical structure provides a more powerful way of building and manipulating 3D objects than conventional linear structures. The object hierarchy also allows recursion to be used to describe pictures which are difficult or impossible to define in other graphics systems without considerable programming effort. Although any recursive process may be expressed iteratively, a certain class of pictures is more concisely defined and more easily visualised recursively. Many tools are available to aid the artist manufacture primitive objects. These tools generate the surface polygons to describe different solids. PG offers a number of alternative viewing algorithms, these provide the artist with successively higher quality images at the cost of correspondingly greater time for computation. PG is an integral part of the Graphicsland, a film animation system under development at the University of Calgary.
  • No Thumbnail Available
    ItemMetadata only
    USING RECURSION TO DESCRIBE POLYGONAL SURFACES
    (1984-04-01) Wyvill, Brian; Liblong, Breen; Hutchinson, Norman
    We describe a three dimensional graphics system called PG (Polygon Groper) and its use by artists for defining and viewing solid objects. A simple set of commands in PG are used to manipulate 3D models. The models are stored as a hierarchy of objects, where each object represents a geometrical transformation of another object or a primitive polygon. It has been found that a hierarchical structure provides a more powerful way of building and manipulating 3D objects than conventional linear structures. The object hierarchy also allows recursion to be used to describe pictures which are difficult or impossible to define in other graphics systems without considerable programming effort. Although any recursive process may be expressed iteratively, a certain class of pictures is more concisely defined and more easily visualised recursively. Many tools are available to aid the artist manufacture primitive objects. These tools generate the surface polygons to describe different solids. PG offers a number of alternative viewing algorithms. These provide the artist with successively higher quality images at the cost of correspondingly greater time for computation. PG is an integral part of the Graphicsland System, a film animation system under development at the University of Calgary.