From Statecharts to Verilog: a formal approach to hardware/software co-specification.
Shengchao QinWei-Ngan ChinJifeng HeZongyan QiuPublished in: Innov. Syst. Softw. Eng. (2006)
Keyphrases
- hardware software
- reactive systems
- formal methods
- formal specification
- hardware and software
- design methodology
- hw sw
- embedded systems
- high performance computing
- model checking
- multi core processors
- hardware design
- low cost
- field programmable gate array
- software engineering
- cloud computing
- sequence diagrams
- object oriented
- image processing