Using Transfer-Resource Graph for Software-Based Verification of System-on-Chip.
Xiaoxi XuCheng-Chew LimPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2008)
Keyphrases
- embedded systems
- software architecture
- software development
- hardware software partitioning
- software systems
- software design
- graph representation
- directed graph
- random walk
- graph theoretic
- knowledge transfer
- software tools
- graph theory
- hardware and software
- user interface
- case study
- weighted graph
- power consumption
- graph partitioning
- transfer learning
- model checking
- face verification
- software components
- connected components
- graph model
- software developers
- source code
- formal methods
- social networks