Designing Correct Circuits

Preface These proceedings contain the papers presented at a workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26–28 September 1990. There is a growing interest in ...

Author: Geraint Jones

Publisher: Springer Science & Business Media

ISBN: 9781447135449

Category: Computers

Page: 355

View: 971

Download →

These proceedings contain the papers presented at a workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application to hardware design of the techniques of software engineering. As the complexity of hardware systems grows, and as the cost both in money and time of making design errors becomes more apparent, so there is an eagerness to build on the success of mathematical techniques in program develop ment. The harsher constraints on hardware designers mean both that there is a greater need for good abstractions and rigorous assurances of the trustworthyness of designs, and also that there is greater reason to expect that these benefits can be realised. The papers presented at this workshop consider the application of mathematics to hardware design at several different levels of abstraction. At the lowest level of this spectrum, Zhou and Hoare show how to describe and reason about synchronous switching circuits using UNilY, a formalism that was developed for reasoning about parallel programs. Aagaard and Leeser use standard mathematical tech niques to prove correct their implementation of an algorithm for Boolean simplification. The circuits generated by their formal synthesis system are thus correct by construction. Thuau and Pilaud show how the declarative language LUSTRE, which was designed for program ming real-time systems, can be used to specify synchronous circuits.
Posted in:

Designing Correct Circuits

proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992 Jørgen Staunstrup, Robin Sharp. » DESIGNING CORRECT CIRCUITS J. Staunstrup and R. Sharp (Editors) Elsevier.

Author: Jørgen Staunstrup

Publisher: North Holland

ISBN: CORNELL:31924062711001

Category: Technology & Engineering

Page: 310

View: 687

Download →

The papers compiled in this volume cover a wide range of topics within the general area of provably correct design, including proofs of fundamental results, post hoc formal verification of designs and design techniques where correctness is ensured by construction. The papers are unique in that they demonstrate the use of design techniques for designing real chips. The book should, thus, not be missed by students and researchers interested in the deployment of formally-based techniques on real problems within a great diversity of application areas. Application areas treated within the volume range from packet-routers, arbiters, multiprocessors, serial-parallel converters and CPUs - to arithmetic units and counters. A significant group of the papers is concerned with the special requirements of asynchronous and delay-insensitive design.
Posted in:

Designing Correct Circuits

The main theme of the 3rd Workshop on Designing Correct Circuits (DCC96), held in BA stad, Sweden, 2 - 4 September 1996, was the discussion of the very latest advances in hardware verification and correct circuit design techniques.

Author: Mary Sheeran

Publisher: Springer Verlag

ISBN: 3540761020

Category: Technology & Engineering

Page: 7

View: 303

Download →

The main theme of the 3rd Workshop on Designing Correct Circuits (DCC96), held in BA stad, Sweden, 2 - 4 September 1996, was the discussion of the very latest advances in hardware verification and correct circuit design techniques. Among the main topics covered are: improving hardware designs by simplifying their proof; an integrated approach to verifying large circuits; deriving handshake modules for a multi-target hardware compiler; and serialising heterogeneous and non-factorisable processor arrays. The full papers from Designing Correct Circuits are available on-line at: http://www.springer.co.uk/eWiC/Workshops/DCC96.html This booklet provides the passwords needed to access the web site. Purchasing the booklet provides the user with unlimited access to the site for four years (subject, of course, to entry of the correct passwords each time).
Posted in:

Correct Hardware Design and Verification Methods

J. He, G. Brown, W. Luk and J.W. O'Leary, “Deriving two-phase modules for a multi-target hardware compiler”, Designing Correct Circuits, Springer Electronic Workshop in Computing, 1996. . J. He, I. Page and J.P. Bowen, ...

Author: Tiziana Margaria

Publisher: Springer

ISBN: 9783540447986

Category: Computers

Page: 488

View: 852

Download →

This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods. CHARME 2001 is the 11th in a series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and hardware-like systems. Previous events in the ‘CHARME’ series were held in Bad Herrenalb (1999), Montreal (1997), Frankfurt (1995), Arles (1993), and Torino (1991). This series of meetings has been organized in cooperation with IFIP WG 10.5 and WG 10.2. Prior meetings, stretching backto the earliest days of formal hardware veri?cation, were held under various names in Miami (1990), Leuven (1989), Glasgow (1988), Grenoble (1986), Edinburgh (1985), and Darmstadt (1984). The convention is now well-established whereby the European CHARME conference alternates with its biennial counterpart, the International Conference on Formal Methods in Computer-Aided Design (FMCAD), which is held on even-numbered years in the USA. The conference tookplace during 4–7 September 2001 at the Institute for System Level Integration in Livingston, Scotland. It was co-hosted by the - stitute and the Department of Computing Science of Glasgow University and co-sponsored by the IFIP TC10/WG10.5 Working Group on Design and En- neering of Electronic Systems. CHARME 2001 also included a scienti?c session and social program held jointly with the 14th International Conference on Th- rem Proving in Higher Order Logics (TPHOLs), which was co-located in nearby Edinburgh.
Posted in:

From HDL Descriptions to Guaranteed Correct Circuit Designs

Proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, 9-11 September, 1986 Dominique Borrione. 456-9057 Engin 7-17-87 PREFACE This volume is the final ...

Author: Dominique Borrione

Publisher: North Holland

ISBN: UOM:39015012445121

Category: Computers

Page: 324

View: 327

Download →

Hardbound. The objective of this book is to bring together the knowledge of developers and users of design automation tools, and compare the methods and algorithms by which correct circuit designs may be obtained from initial descriptions and specifications written in an appropriate hardware description language (HDL). In order to achieve the goal of designing correct circuits, two main directions of research are currently being pursued: formal verification of a (possibly manual) design, and automatic synthesis. Both approaches require that a high level specification of the circuit be given in a formal language, and an underlying model of hardware behaviour is necessary to allow for symbolic translations that preserve or verify some notion of correctness. Hardware models, formal proof of correctness, and synthesis are therefore the three key elements making up this volume.
Posted in:

Asynchronous Circuits

Provably Correct Synthesis of Asynchronous Circuits. In J. Staunstrup and R. Sharp, editors, Proceedings of the Second IFIP Workshop on Designing Correct Circuits, North-Holland Publishing Company, pp. 237–260, 1992.

Author: Janusz A. Brzozowski

Publisher: Springer Science & Business Media

ISBN: 9781461242109

Category: Technology & Engineering

Page: 404

View: 236

Download →

In recent years, there has been a great surge of interest in asynchronous circuits, largely through the development of new asynchronous design methodologies. This book provides a comprehensive theory of asynchronous circuits, including modelling, analysis, simulation, specification, verification, and an introduction to their design.
Posted in:

Designing Correct Circuits

These proceedings contain the papers presented at a workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990.

Author: Geraint Jones

Publisher: Springer

ISBN: 3540196595

Category: Computers

Page: 355

View: 984

Download →

These proceedings contain the papers presented at a workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application to hardware design of the techniques of software engineering. As the complexity of hardware systems grows, and as the cost both in money and time of making design errors becomes more apparent, so there is an eagerness to build on the success of mathematical techniques in program develop ment. The harsher constraints on hardware designers mean both that there is a greater need for good abstractions and rigorous assurances of the trustworthyness of designs, and also that there is greater reason to expect that these benefits can be realised. The papers presented at this workshop consider the application of mathematics to hardware design at several different levels of abstraction. At the lowest level of this spectrum, Zhou and Hoare show how to describe and reason about synchronous switching circuits using UNilY, a formalism that was developed for reasoning about parallel programs. Aagaard and Leeser use standard mathematical tech niques to prove correct their implementation of an algorithm for Boolean simplification. The circuits generated by their formal synthesis system are thus correct by construction. Thuau and Pilaud show how the declarative language LUSTRE, which was designed for program ming real-time systems, can be used to specify synchronous circuits.
Posted in:

Algorithms for Synthesis and Testing of Asynchronous Circuits

In Proceedings of the European Design Automation Conference, 1991. ... Analysis and identification of self-timed circuits. In Proceedings of IFIP 2” Workshop on Designing Correct Circuits, pages 275-287, January 1992.

Author: Luciano Lavagno

Publisher: Springer Science & Business Media

ISBN: 9781461532125

Category: Technology & Engineering

Page: 339

View: 107

Download →

Since the second half of the 1980s asynchronous circuits have been the subject of a great deal of research following a period of relative oblivion. The lack of interest in asynchronous techniques was motivated by the progressive shift towards synchronous design techniques that had much more structure and were much easier to verify and synthesize. System design requirements made it impossible to eliminate totally the use of asynchronous circuits. Given the objective difficulty encountered by designers, the asynchronous components of electronic systems such as interfaces became a serious bottleneck in the design process. The use of new models and some theoretical breakthroughs made it possible to develop asynchronous design techniques that were reliable and effective. This book describes a variety of mathematical models and of algorithms that form the backbone and the body of a new design methodology for asyn chronous design. The book is intended for asynchronous hardware designers, for computer-aided tool experts, and for digital designers interested in ex ploring the possibility of designing asynchronous circuits. It requires a solid mathematical background in discrete event systems and algorithms. While the book has not been written as a textbook, nevertheless it could be used as a reference book in an advanced course in logic synthesis or asynchronous design.
Posted in:

Principles of VLSI and CMOS Integrated Circuits

Specification allows each engineer to understand the entire design . It helps the engineer for designing correct interface with rest of the circuit or system . It reduces time required for design and also misassumptions if any .

Author: Jain Richa & Rai Amrita

Publisher: S. Chand Publishing

ISBN: 9788121940009

Category: Computers

Page:

View: 480

Download →

For B.E./B.Tech students of all Technical Universities. Microelectronics/VLSI Design is an emerging subject in the field of electronics in recent years. It is an introductory source to internal parts of electronics at minute level. This book is covering CMOS Design from a digital system level to circuit level and providing a background in CMOS Processing Technology. The book includes basic theortical knowledge as well as good engineering practice. This book is recommended for B.Tech., M.Tech. and diploma students of all Indian Universities and also useful for competitive examinations.
Posted in:

Designing Asynchronous Circuits using NULL Convention Logic NCL

... other non-DI asynchronous paradigms, since minimal delay analysis is necessary to ensure correct circuit operation. 3) NCL systems have power, noise, and EMI advantages compared to synchronous circuits, performance and design reuse ...

Author: Scott Smith

Publisher: Springer Nature

ISBN: 9783031798009

Category: Technology & Engineering

Page: 86

View: 418

Download →

Designing Asynchronous Circuits using NULL Convention Logic (NCL) begins with an introduction to asynchronous (clockless) logic in general, and then focuses on delay-insensitive asynchronous logic design using the NCL paradigm. The book details design of input-complete and observable dual-rail and quad-rail combinational circuits, and then discusses implementation of sequential circuits, which require datapath feedback. Next, throughput optimization techniques are presented, including pipelining, embedding registration, early completion, and NULL cycle reduction. Subsequently, low-power design techniques, such as wavefront steering and Multi-Threshold CMOS (MTCMOS) for NCL, are discussed. The book culminates with a comprehensive design example of an optimized Greatest Common Divisor circuit. Readers should have prior knowledge of basic logic design concepts, such as Boolean algebra and Karnaugh maps. After studying this book, readers should have a good understanding of the differences between asynchronous and synchronous circuits, and should be able to design arbitrary NCL circuits, optimized for area, throughput, and power. Table of Contents: Introduction to Asynchronous Logic / Overview of NULL Convention Logic (NCL) / Combinational NCL Circuit Design / Sequential NCL Circuit Design / NCL Throughput Optimization / Low-Power NCL Design / Comprehensive NCL Design Example
Posted in: