A Formal Approach to Hardware Design by Jørgen Staunstrup

By Jørgen Staunstrup

A proper method of layout discusses designing computations to be realised by means of program particular undefined. It introduces a proper layout process in response to a high-level layout language known as Synchronized Transitions. The types created utilizing Synchronized Transitions let the dressmaker to accomplish diverse sorts of research and verification in line with descriptions in a unmarried language. it truly is, for instance, attainable to exploit precisely an identical layout description either for automatically supported verification and synthesis. Synchronized Transitions is supported by way of a suite of public area CAD instruments. those instruments can be utilized with the booklet in offering a direction at the topic. a proper method of layout illustrates the advantages to be received from adopting such strategies, however it does so with no assuming past wisdom of formal layout tools. The ebook is hence not just a great reference, it's also compatible to be used via scholars and practitioners.

Show description

Read or Download A Formal Approach to Hardware Design PDF

Best design books

Learn Design for iOS Development

Examine layout for iOS improvement is for you if you're an iOS developer and also you are looking to layout your individual apps to appear nice and be in music with the newest Apple guidance. You'll find out how to layout your apps to paintings with the intriguing new iOS 7 feel and appear, which your clients count on inside their most modern apps.

Practical Switching Power Supply Design

Take the "black magic" out of switching continual offers with functional Switching energy offer layout! this can be a accomplished "hands-on" consultant to the speculation at the back of, and layout of, PWM and resonant switching provides. you will find info on switching provide operation and choosing a suitable topology on your software.

Asynchronous Circuit Design for VLSI Signal Processing

Asynchronous Circuit layout for VLSI sign Processing is a suite of analysis papers on fresh advances within the region of specification, layout and research of asynchronous circuits and platforms. This curiosity in designing electronic computing structures with out a international clock is triggered by way of the ever transforming into trouble in adopting worldwide synchronization because the in basic terms effective skill to procedure timing.

High-Level System Modeling: Specification and Design Methodologies

In process layout, iteration of high-level summary types that may be heavily linked to evolving lower-level versions presents designers having the ability to incrementally `test' an evolving layout opposed to a version of a specification. Such high-level types may perhaps take care of components equivalent to functionality, reliability, availability, maintainability, and process safeguard.

Extra info for A Formal Approach to Hardware Design

Sample text

KLASSE Y IVI , \, I IV2 Ml() \, M2() "'-- - ~\W / / / .... ---- / I I Notation gemiiss CoadIYordon (oberer reil) bzw. gemiiss Booch (unterer reil fur konkrete bzw. abstrakte Klassen Zur Funktionsweise: Wird die Klassen-Methode NEU mittels einer Nachricht aktiviert, so wird ein Objekt generiert. Diesem stehen samtliche Instanz-Variablen sowie Instanz-Methoden der Klasse zur Verfiigung. Von Bedeutung ist auch, dass jedem Objekt bei der Generierung automatisch ein eindeutiges Identifikationsmerkmal zugeordnet wird.

KURS-VERWALTUNG I KURS KURS-TYP Abb. 22 Teilweise kollabierte (linker Teil) und vollstandig kollabierte (rechter Teil) Darstellung von Subjektgruppen (Fachbereichen) Wie man sich die expandierte bzw. kollabierte Darstellung einer Subjektgruppe :fur das Beispiel Kursorganisation vorzustellen hat, ist Abb. 21 sowie Abb. 22 zu entnehmen. In der expandierten Version (Abb. 21) sind die einer Subjektgruppe angehOrenden Klassen im Detail zu erkennen. So sind beispielsweise in der 1. Subjektgruppe die :fur die Raum-Verwaltung relevanten Klassen vorzufinden, die 2.

Wie man sich dies fUr das Beispiel Kursorganisation vorzustellen hat, ist Abb. 7 (OO-Diagramm nach Coad/Yourdon) bzw. Abb. 8 (OO-Diagramm nach Booch) zu entnehmen. Empfehlenswert ist, bei der Definition einer Klasse gleich auch die zur Identifikation tatsachlicher Objekte erforderliche Variable - die identijizierende Variable also - festzulegen. FUr die Klasse MITARBElTER kommt hierfiir beispielsweise die Variable M# in Frage. Realitatsbeobachtungen eignen sich hervorragend, urn moglichst rasch ein, wenn auch grobes, OO-Modell zu ermitteln.

Download PDF sample

Rated 4.81 of 5 – based on 45 votes