Please use this identifier to cite or link to this item:
DC FieldValue
dc.titleAn automatic mapping from Statecharts to Verilog
dc.contributor.authorTran, V.-A.V.
dc.contributor.authorQin, S.
dc.contributor.authorChin, W.N.
dc.identifier.citationTran, V.-A.V.,Qin, S.,Chin, W.N. (2005). An automatic mapping from Statecharts to Verilog. Lecture Notes in Computer Science 3407 : 187-203. ScholarBank@NUS Repository.
dc.description.abstractStatecharts 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. © Springer-Verlag Berlin Heidelberg 2005.
dc.typeConference Paper
dc.contributor.departmentSINGAPORE-MIT ALLIANCE
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.sourcetitleLecture Notes in Computer Science
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Page view(s)

checked on Feb 18, 2020

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.