Artigo em periódico
Applying SMT-based verification to hardware/software partitioning in embedded systems
TRINDADE, ALESSANDRO B.2015TRINDADE, ALESSANDRO B.; CORDEIRO, LUCAS C
Resumo
Resumo
When performing hardware/software co-design for embedded systems, the problem of which functions of the system should be implemented in hardware (HW) or in software (SW) emerges. This problem is known as HW/SW partitioning. Over the last 10 years, a significant research effort has been carried out in this area. In this paper, we present two new approaches to solve the HW/SW partitioning problem by using verification techniques based on satisfiability modulo theories (SMT). We compare the results using the traditional technique of integer linear programming, specifically binary integer programming and a modern method of optimization by genetic algorithm. The experimental results show that SMT-based verification techniques can be effective in particular cases to solve the HW/SW partition problem optimally using a state-of-the-art model checker based on SMT solvers, when compared against traditional techniques.
Autoria
Autores do grupo (2)
A lista completa de autores está no topo da página. Abaixo, apenas os pesquisadores do e-Controls vinculados a esta publicação.
palavras-chave
Palavras-chave
hardware/software partitioninghardware-software co-designembedded systemssatisfiability modulo theoriesSMT-based verificationmodel checkinginteger linear programming0-1 integer programminggenetic algorithm optimizationfunction allocation
Volume
20
Número
1
Páginas
1-19
Editora
Springer Science and Business Media LLC
Status
Published
links
Links e arquivos
Artigo em periódico