Sciweavers

339 search results - page 4 / 68
» Hardware Synthesis for Multi-Dimensional Time
Sort
View
DATE
1999
IEEE
120views Hardware» more  DATE 1999»
15 years 4 months ago
Hardware Synthesis from C/C++ Models
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
Giovanni De Micheli
ATVA
2007
Springer
127views Hardware» more  ATVA 2007»
15 years 6 months ago
Distributed Synthesis for Alternating-Time Logics
Sven Schewe, Bernd Finkbeiner
98
Voted
ERSA
2006
109views Hardware» more  ERSA 2006»
15 years 1 months ago
Synthesis of Object Oriented Models on Reconfigurable Hardware
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...
Giovanni Agosta, Francesco Bruschi, Marco D. Santa...
ASYNC
1997
IEEE
103views Hardware» more  ASYNC 1997»
15 years 3 months ago
Efficient Timing Analysis Algorithms for Timed State Space Exploration
This paper presents new timing analysis algorithms for efficient state space exploration during timed circuit synthesis. Timed circuits are a class of asynchronous circuits that i...
Wendy Belluomini, Chris J. Myers
ISSS
2000
IEEE
144views Hardware» more  ISSS 2000»
15 years 4 months ago
Efficient Hardware Controller Synthesis for Synchronous Dataflow Graph in System Level Design
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification in system level design. In the presented design methodology, each node of a data flow gra...
Hyunuk Jung, Kangnyoung Lee, Soonhoi Ha