Browsing by Author "Kolks, Tilman"

Now showing 1 - 5 of 5

A time abstraction method for efficient verification of communicating systems

Verlind, Eric
;
Kolks, Tilman
;
De Jong, Gjalt
;
Lin, Bill
;
De Man, Hugo
Proceedings paper
1994, Proceedings31st Conference on Design Automation Conference - DAC, 06/06/1994, p.609-614
Control resynthesis for control-dominated asynchronous designs

Kolks, Tilman
;
Vercauteren, Steven
;
Lin, Bill
Proceedings paper
1996, Proceedings 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems, 18/03/1996, p.233-243
Hierarchical optimization of asynchronous circuits

Lin, Bill
;
De Jong, Gjalt
;
Kolks, Tilman
Proceedings paper
1995, Proceedings 32nd Design Automation Conference; June 12-16, 1995; San Francisco, CA, USA., p.712-717
High-Level Synthesis of Control-Dominated Asynchronous Design

Kolks, Tilman
PHD thesis
1999-09
Modeling and optimization of hierarchical synchronous circuits

Lin, Bill
;
De Jong, Gjalt
;
Kolks, Tilman
Proceedings paper
1995, Proceedings of the European Design and Test Conference. ED&TC 1995; March 6-9, 1995; Paris., p.144-149