@inproceedings{026a5ea07c2c416ea9655656bfd1ae1a,
title = "Hardware/software partitioning in verilog",
abstract = "We propose in this paper an algebraic approach to hardware/ software partitioning in Verilog HDL. We explore a collection of algebraic laws for Verilog programs, from which we design a set of syntaxbased algebraic rules to conduct hardware/software partitioning. The cospecification language and the target hardware and software description languages are specific subsets of Verilog, which brings forth our successful verification for the correctness of the partitioning process by algebra of Verilog. Facilitated by Verilog{\textquoteright}s rich features, we have also successfully studied hw/sw partitioning for environment-driven systems.",
keywords = "Algebraic laws, Hardware/software co-design, Hardware/software partitioning, Verilog",
author = "Shengchao Qin and Jifeng He and Zongyan Qiu and Naixiao Zhang",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2002.; 4th International Conference on Formal Engineering Methods, ICFEM 2002 ; Conference date: 21-10-2002 Through 25-10-2002",
year = "2002",
doi = "10.1007/3-540-36103-0\_19",
language = "英语",
isbn = "9783540000297",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "168--179",
editor = "Chris George and Huaikou Miao",
booktitle = "Formal Methods and Software Engineering - 4th International Conference on Formal Engineering Methods, ICFEM 2002, Proceedings",
address = "德国",
}