3 search results - page 1 / 1 » Protocol synthesis using basic Lotos and global variables |
ICNP
1995
IEEE
14 years 1 months ago
1995
IEEE
ASYNC
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper proposes applying a logic synthesis approach to high level synthesis from SpecC specifications to timed asynchronous gate-level circuits. The state-based logic synthes...
ASWSD
2006
Springer
14 years 1 months ago
2006
Springer
Automotive software has become an important factor in the development of modern and innovative high-end vehicles. More and more functions can only be realized by the cooperation of...