An Automatic Mapping from Statecharts to Verilog

Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    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.
    Original languageEnglish
    Title of host publicationTheoretical Aspects of Computing - ICTAC 2004
    EditorsZ. Liu , K. Araki
    PublisherSpringer Berlin
    Pages187-203
    Volume3407
    ISBN (Electronic)9783540318620
    ISBN (Print)9783540253044
    DOIs
    Publication statusPublished - 2004
    EventTheoretical Aspects of Computing - ICTAC 2004, 1st International Colloquium - Guiyang, China
    Duration: 20 Sep 200424 Sep 2004
    Conference number: 1

    Publication series

    Name Lecture Notes in Computer Science
    PublisherSpringer Berlin
    Volume3407

    Conference

    ConferenceTheoretical Aspects of Computing - ICTAC 2004, 1st International Colloquium
    CountryChina
    CityGuiyang
    Period20/09/0424/09/04

    Fingerprint Dive into the research topics of 'An Automatic Mapping from Statecharts to Verilog'. Together they form a unique fingerprint.

  • Cite this

    Tran, V-A. V., Qin, S., & Chin, W-N. (2004). An Automatic Mapping from Statecharts to Verilog. In Z. Liu , & K. Araki (Eds.), Theoretical Aspects of Computing - ICTAC 2004 (Vol. 3407, pp. 187-203). ( Lecture Notes in Computer Science; Vol. 3407). Springer Berlin. https://doi.org/10.1007/978-3-540-31862-0_15