Keywords:
Integrated circuits Very large scale integration
;
Design and construction
;
Data processing
;
Congresses
;
Integrated circuits Verification
;
Congresses
;
Algebra
;
Computer science
;
Microprogramming
;
Logic design
;
Electronics
;
Computer arithmetic and logic units.
;
Computer systems.
;
Logic Design
;
Algebra
;
Arithmetic and Logic Structures
;
Computation by Abstract Devices
;
Computer Science
;
Electronics and Microelectronics, Instrumentation
;
Control Structures and Microprogramming
;
Konferenzschrift 1989
;
Hardware
;
Spezifikation
;
Hardwareverifikation
;
Hardware
;
Chemische Synthese
Description / Table of Contents:
Design for verifiability -- Verification of synchronous circuits by symbolic logic simulation -- Constraints, abstraction, and verification -- Formalising the design of an SECD chip -- Reasoning about state machines in higher-order logic -- A mechanically derived systolic implementation of pyramid initialization -- Behavior-preserving transformations for high-level synthesis -- From programs to transistors: Verifying hardware synthesis tools -- Combining engineering vigor with mathematical rigor -- Totally verified systems: Linking verified software to verified hardware -- What's in a timing discipline? Considerations in the specification and synthesis of systems with interacting asynchronous and synchronous components -- Complete trace structures -- The design of a delay-insensitive microprocessor: An example of circuit synthesis by program transformation -- Manipulating logical organization with system factorizations -- The verification of a bit-slice ALU -- Verification of a pipelined microprocessor using clio -- Verification of combinational logic in Nuprl -- Veritas+: A specification language based on type theory -- Categories for the working hardware designer.
Type of Medium:
Online Resource
Pages:
Online-Ressource (VI, 402 S.)
Edition:
Online-Ausg. New York [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9780387348018
Series Statement:
Lecture notes in computer science 408
URL:
http://www.springerlink.com/content/wh0533j100h7
URL:
http://www.springerlink.de/openurl.asp?genre=book&isbn=978-0-387-97226-8
URL:
http://dx.doi.org/10.1007/0-387-97226-9
URL:
https://doi.org/10.1007/0-387-97226-9
URL:
https://zbmath.org/?q=an:0799.68018
URL:
https://external.dandelon.com/download/attachments/dandelon/ids/DEAGI92DA94EB84F42311C125709100355477.pdf
DOI:
10.1007/0-387-97226-9
Language:
English
Note:
Literaturangaben
Permalink