Modeling Interrupts for Software-Based System-on-Chip Verification.
Xiaoxi XuCheng-Chew LimPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2010)
Keyphrases
- modeling language
- embedded systems
- user interface
- hardware software partitioning
- modeling method
- data sets
- software development
- social networks
- software architecture
- hardware and software
- software tools
- software design
- hardware designs
- functional verification
- software maintenance
- software platform
- formal verification
- software package
- formal methods
- modeling framework
- power consumption
- model checking
- information retrieval