Back to Search
Start Over
An Automatic Mapping from Statecharts to Verilog.
- Source :
- Theoretical Aspects of Computing - ICTAC 2004; 2005, p187-203, 17p
- Publication Year :
- 2005
-
Abstract
- Statecharts is a visual formalism suitable for high-level system specification, while Verilog is a hardware description language that can be used for both behavioural and structural specification of (hardware) systems. This paper implements a semantics-preserving mapping from Graphical Statecharts to Verilog programs, which, to the best of our knowledge, is the first algorithm to bridge the gap between Statecharts and Verilog, and can be embedded into the hardware/software co-specification process [19] as a front-end. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783540253044
- Database :
- Supplemental Index
- Journal :
- Theoretical Aspects of Computing - ICTAC 2004
- Publication Type :
- Book
- Accession number :
- 32978402