Add to ORKGThe 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 Gofer/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 parameterisation and re-usability aspects
With the increasing size and complexity of designs in electronics, new approaches are required for t...
Over the last three decades, the number of transistors used in microchips has increased by three ord...
To provide high performance at practical power levels, tomorrow’s chips will have to consist primari...
The goal of deductive design is the systematic construction of a system implementation starting from...
The goal of deductive design is the systematic construction of a system implementation starting from...
The goal of deductive design is the systematic construction of a system implementation starting from...
The goal of deductive design is the systematic construction of a system implementation starting from...
This thesis investigates the advantages of using functional programming as a hardware description to...
Higher order functions provide an elegant way to express algorithms designed for implementation in h...
Today\u27s hardware development industry faces enormous problems. The primary reason for this is tha...
With the increasing design and production costs and long time-to-market for Application Specific Int...
In order to effectively utilize the growing number of resources available on FPGAs, higher level abs...
This paper describes a project that helps hardware developers in generating cryptographic hardware. ...
The semiconductor industry is facing increasing problems with designing complex circuits with tight ...
We develop a Haskell library for functional-logic programming and apply it to the implementation of ...
With the increasing size and complexity of designs in electronics, new approaches are required for t...
Over the last three decades, the number of transistors used in microchips has increased by three ord...
To provide high performance at practical power levels, tomorrow’s chips will have to consist primari...
The goal of deductive design is the systematic construction of a system implementation starting from...
The goal of deductive design is the systematic construction of a system implementation starting from...
The goal of deductive design is the systematic construction of a system implementation starting from...
The goal of deductive design is the systematic construction of a system implementation starting from...
This thesis investigates the advantages of using functional programming as a hardware description to...
Higher order functions provide an elegant way to express algorithms designed for implementation in h...
Today\u27s hardware development industry faces enormous problems. The primary reason for this is tha...
With the increasing design and production costs and long time-to-market for Application Specific Int...
In order to effectively utilize the growing number of resources available on FPGAs, higher level abs...
This paper describes a project that helps hardware developers in generating cryptographic hardware. ...
The semiconductor industry is facing increasing problems with designing complex circuits with tight ...
We develop a Haskell library for functional-logic programming and apply it to the implementation of ...
With the increasing size and complexity of designs in electronics, new approaches are required for t...
Over the last three decades, the number of transistors used in microchips has increased by three ord...
To provide high performance at practical power levels, tomorrow’s chips will have to consist primari...