Hardware/software partitioning in Verilog

Hdl Handle:
http://hdl.handle.net/10149/110777
Title:
Hardware/software partitioning in Verilog
Book Title:
Formal methods and software engineering
Authors:
Qin, S. (Shengchao); He, J. (Jifeng); Qiu, Z. (Zongyan); Zhang, N. (Naixiao)
Editors:
George, C. (Chris); Miao, H. (Huaikou)
Affiliation:
Peking University. School of Mathematical Sciences.
Citation:
Qin, S. et. al. (2002) 'Hardware/software partitioning in Verilog', 4th international conference on formal engineering methods, ICFEM 2002 Shanghai, China, October 21–25, 2002, in George, C. and Miao, H. (eds) Formal methods and software engineering, Lecture notes in computer science, 2495. Heidelberg: Springer-Verlag, pp.168-179.
Publisher:
Springer-Verlag
Conference:
4th international conference on formal engineering methods, ICFEM 2002 Shanghai, China, October 21–25, 2002
Issue Date:
2002
URI:
http://hdl.handle.net/10149/110777
DOI:
10.1007/3-540-36103-0_19
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
Verilog; algebraic laws; hardware/software co-design; hardware/software partitioning
Series/Report no.:
Lecture notes in computer science; 2495
ISSN:
0302-9743
ISBN:
3540000291
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 07/09/2010]
Citation Count:
0 [Web of Science, 07/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorHe, J. (Jifeng)en
dc.contributor.authorQiu, Z. (Zongyan)en
dc.contributor.authorZhang, N. (Naixiao)en
dc.contributor.editorGeorge, C. (Chris)en
dc.contributor.editorMiao, H. (Huaikou)en
dc.date.accessioned2010-09-07T09:43:31Z-
dc.date.available2010-09-07T09:43:31Z-
dc.date.issued2002-
dc.identifier.isbn3540000291-
dc.identifier.issn0302-9743-
dc.identifier.doi10.1007/3-540-36103-0_19-
dc.identifier.urihttp://hdl.handle.net/10149/110777-
dc.language.isoenen
dc.publisherSpringer-Verlagen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries2495en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 07/09/2010]en
dc.subjectVerilogen
dc.subjectalgebraic lawsen
dc.subjecthardware/software co-designen
dc.subjecthardware/software partitioningen
dc.titleHardware/software partitioning in Verilogen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentPeking University. School of Mathematical Sciences.en
dc.title.bookFormal methods and software engineeringen
dc.identifier.conference4th international conference on formal engineering methods, ICFEM 2002 Shanghai, China, October 21–25, 2002en
ref.citationcount0 [Web of Science, 07/09/2010]en
or.citation.harvardQin, S. et. al. (2002) 'Hardware/software partitioning in Verilog', 4th international conference on formal engineering methods, ICFEM 2002 Shanghai, China, October 21–25, 2002, in George, C. and Miao, H. (eds) Formal methods and software engineering, Lecture notes in computer science, 2495. Heidelberg: Springer-Verlag, pp.168-179.-
prism.startingPage168-
prism.endingPage179-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.