Thomas Kathöfer

Learn More
An approach for the synthesis of highly complex controllers is presented. As source description a concurrent algorithm is used. It is assumed that usually such a description is organized in a modular manner or can be partitioned into modules by the synthesis algorithm. The synthesis algorithm produces cooperating clocked FSMs with an asynchronous global(More)
The use of an object-oriented data base is required to successfully accomplish the phased integration of diverse design tools and data used during the design process. In this paper, we discuss the requirements for such a data base and present an interface which satisfies these requirements. Furthermore, we show how the Cadlab implementation of this(More)
  • 1