|
|||||
|
|
From Statecharts to Verilog: a formal approach to hardware/software co-specification |
|
| Authors: | Shengchao Qin Wei-Ngan Chin Jifeng He Zongyan Qiu |
| Affiliation: | (1) Department of Computer Science, Durham University, South Road, Durham, DH1 3LE, UK;(2) Department of Computer Science, National University of Singapore,;(3) Software Engineering Institute, East China Normal University, Shanghai, China;(4) School of Mathematical Sciences, Peking University, Beijing, China |
| Abstract: | |
| Keywords: | Statecharts Verilog Operational semantics Homomorphism Algebraic laws Hardware/software partitioning |
| 本文献已被 SpringerLink 等数据库收录！ | |
