This paper demonstrates how the different tools in the MIMOLA hardware design system MSS are used during a typical design process. Typical design processes are partly automatic and partly manual. They include high-level synthesis, manual postoptimization, retargetable code generation, testability evaluation and simulation. The paper demonstrates how consistent tools can help to solve a variety of related design tasks. There is no other system with an equivalent set of consistent tools. A key contribution of this paper is to show how current high-level synthesis systems can be extended by retargetable code generators which map algorithms to predefined structures. This extension is necessary in order to support manual design modifications. 1 ...
The work is concerned with the synthesis of digital devices on the microcircuits of programmed matri...
We show how an extended Prolog can be exploited to implement different electronic CAD tools. Startin...
Program synthesis is a promising area of research concerned with automatically producing program imp...
Design automation for embedded systems comprising both hardware and software components demands for...
This project concerns the development of a design methodology for digital systems together with asso...
The goal of design synthesis is the generation of high-quality material designs from abstract specif...
The design of an instruction set processor includes several related design tasks: instruction set de...
The most expensive component in the process of building a Custom Computing Machine is the time consu...
The complexity of the circuit that can fit cm an integrated circuit (IC) chip has readied the level ...
In this paper we briefly describe a set of designs that can serve as examples for High Level Synthes...
Iterative simulation-based design is a laborious process that depends on a designer’s intuition, pri...
This thesis presents a cosynthesis tool designed to target single IC platforms containing both uncom...
The ultimate goal of Computer-Aided Design research in the area of digital circuits is the automatic...
We survey recent developments in high level synthesis technology for VLSI design. The need for highe...
In this paper we discuss the generation of reprogrammable controllers. This generation is performed ...
The work is concerned with the synthesis of digital devices on the microcircuits of programmed matri...
We show how an extended Prolog can be exploited to implement different electronic CAD tools. Startin...
Program synthesis is a promising area of research concerned with automatically producing program imp...
Design automation for embedded systems comprising both hardware and software components demands for...
This project concerns the development of a design methodology for digital systems together with asso...
The goal of design synthesis is the generation of high-quality material designs from abstract specif...
The design of an instruction set processor includes several related design tasks: instruction set de...
The most expensive component in the process of building a Custom Computing Machine is the time consu...
The complexity of the circuit that can fit cm an integrated circuit (IC) chip has readied the level ...
In this paper we briefly describe a set of designs that can serve as examples for High Level Synthes...
Iterative simulation-based design is a laborious process that depends on a designer’s intuition, pri...
This thesis presents a cosynthesis tool designed to target single IC platforms containing both uncom...
The ultimate goal of Computer-Aided Design research in the area of digital circuits is the automatic...
We survey recent developments in high level synthesis technology for VLSI design. The need for highe...
In this paper we discuss the generation of reprogrammable controllers. This generation is performed ...
The work is concerned with the synthesis of digital devices on the microcircuits of programmed matri...
We show how an extended Prolog can be exploited to implement different electronic CAD tools. Startin...
Program synthesis is a promising area of research concerned with automatically producing program imp...