A Hardware-Software Platform for Design and Verification of In-Motorcycle Electronic Systems.
Federico BarontiFrancesco LenziRoberto RoncellaRoberto SalettiPublished in: DSD (2007)
Keyphrases
- software platform
- design automation
- building blocks
- digital circuits
- hardware designs
- formal methods
- computer systems
- computing systems
- embedded systems
- control unit
- hardware design
- case study
- intelligent systems
- high end
- low cost
- real time
- model checking
- graphical user interfaces
- knowledge based systems
- design tools
- circuit design
- single chip
- functional verification
- test generation
- design methodology
- hardware and software
- intelligent agents
- design process
- distributed systems
- user interface
- artificial neural networks
- artificial intelligence