Cookies

We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.


Durham Research Online
You are in:

An automatic mapping from Statecharts to Verilog.

Viet-Anh, T. V. and Qin, S. and Chin, W.-N. (2004) 'An automatic mapping from Statecharts to Verilog.', in Theoretical computing : 1st International Colloquium, ICTAC 2004, 20-24 September 2004, Guiyang, China ; revised selected papers. Berlin: Springer , pp. 187-203. Lecture notes in computer science. (3407).

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.

Item Type:Book chapter
Full text:PDF - Accepted Version (180Kb)
Status:Peer-reviewed
Publisher Web site:http://dx.doi.org/10.1007/b107116
Publisher statement:The original publication is available at www.springerlink.com
Record Created:17 Nov 2009 13:05
Last Modified:01 Dec 2011 09:26

Social bookmarking: del.icio.usConnoteaBibSonomyCiteULikeFacebookTwitterExport: EndNote, Zotero | BibTex
Usage statisticsLook up in GoogleScholar | Find in a UK Library