228 search results - page 2 / 46 » Synthesis from Production-Based Specifications |
DAC
2002
ACM
14 years 6 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
ICCD
1993
IEEE
13 years 9 months ago
1993
IEEE
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
FORTE
1998
13 years 6 months ago
1998
: In this paper, we propose a technique for hardware implementation of protocol specifications in LOTOS. For the purpose, we define a new model called synchronous EFSMs consisting ...
ECBS
2005
IEEE
13 years 11 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
