Formal Hardware/Software Co-Verification of Embedded Power Controllers.
Pallab DasguptaMandayam K. SrivasRajdeep MukherjeePublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2014)
Keyphrases
- hardware software
- hw sw
- embedded systems
- hardware and software
- formal methods
- design methodology
- power consumption
- formal specification
- low cost
- model checking
- multi core processors
- high performance computing
- field programmable gate array
- control system
- information systems
- hardware design
- image processing
- software systems