From Statecharts to Verilog: a formal approach to hardware/software co-specification

Hdl Handle:
http://hdl.handle.net/10149/110727
Title:
From Statecharts to Verilog: a formal approach to hardware/software co-specification
Authors:
Qin, S. (Shengchao); Chin, W-N. (Wei-Ngan); He, J. (Jifeng); Qiu, Z. (Zongyan)
Affiliation:
Durham University. Department of Computer Science.
Citation:
Qin, S. et. al. (2006) 'From Statecharts to Verilog: a formal approach to hardware/software co-specification', Innovations in Systems and Software Engineering, 2(1), pp.17-38.
Publisher:
Springer Verlag
Journal:
Innovations in Systems and Software Engineering
Issue Date:
Mar-2006
URI:
http://hdl.handle.net/10149/110727
DOI:
10.1007/s11334-005-0020-2
Additional Links:
http://www.springerlink.com/index/10.1007/s11334-005-0020-2
Type:
Article
Language:
en
Keywords:
algebraic laws; hardware/software partitioning; homomorphism; operational semantics; statecharts; Verilog
ISSN:
1614-5046; 1614-5054
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/09/2010]
Citation Count:
2 [Scopus, 06/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorChin, W-N. (Wei-Ngan)en
dc.contributor.authorHe, J. (Jifeng)en
dc.contributor.authorQiu, Z. (Zongyan)en
dc.date.accessioned2010-09-06T13:47:23Z-
dc.date.available2010-09-06T13:47:23Z-
dc.date.issued2006-03-
dc.identifier.citationInnovations in Systems and Software Engineering; 2(1):17-38en
dc.identifier.issn1614-5046-
dc.identifier.issn1614-5054-
dc.identifier.doi10.1007/s11334-005-0020-2-
dc.identifier.urihttp://hdl.handle.net/10149/110727-
dc.language.isoenen
dc.publisherSpringer Verlagen
dc.relation.urlhttp://www.springerlink.com/index/10.1007/s11334-005-0020-2en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/09/2010]en
dc.subjectalgebraic lawsen
dc.subjecthardware/software partitioningen
dc.subjecthomomorphismen
dc.subjectoperational semanticsen
dc.subjectstatechartsen
dc.subjectVerilogen
dc.titleFrom Statecharts to Verilog: a formal approach to hardware/software co-specificationen
dc.typeArticleen
dc.contributor.departmentDurham University. Department of Computer Science.en
dc.identifier.journalInnovations in Systems and Software Engineeringen
ref.citationcount2 [Scopus, 06/09/2010]en
or.citation.harvardQin, S. et. al. (2006) 'From Statecharts to Verilog: a formal approach to hardware/software co-specification', Innovations in Systems and Software Engineering, 2(1), pp.17-38.-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.