TY  - JOUR
A1  - Möller, Bernhard
T1  - Deductive hardware design: a functional approach
T2  - Lecture Notes in Computer Science
N2  - The goal of deductive design is the systematic construction of a system implementation starting from its behavioural specification according to formal, provably correct rules. We use Haskell to formulate a functional model of directional, synchronous and deterministic systems with discrete time. The associated algebraic laws are then employed in deductive hardware design of basic combinational and sequential circuits as well as a brief account of pipelining. With this we tackle several of the IFIP WG 10.5 benchmark verification problems. Special emphasis is laid on parametrization and re-usability aspects.
Y1  - 1998
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/26231
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-262317
SN  - 0302-9743
VL  - 1546
SP  - 421
EP  - 468
PB  - Springer
ER  -