Browsing by author "Kolks, Tilman"
Now showing items 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 (1994) -
Control resynthesis for control-dominated asynchronous designs
Kolks, Tilman; Vercauteren, Steven; Lin, Bill (1996) -
Hierarchical optimization of asynchronous circuits
Lin, Bill; De Jong, Gjalt; Kolks, Tilman (1995) -
High-Level Synthesis of Control-Dominated Asynchronous Design
Kolks, Tilman (1999-09) -
Modeling and optimization of hierarchical synchronous circuits
Lin, Bill; De Jong, Gjalt; Kolks, Tilman (1995)