@inbook{e11551cf92e5447a8757f15aee5591ca,
title = "An optimal approach to hardware/software partitioning for synchronous model",
abstract = "Computer aided hardware/software partitioning is one of the key challenges in hardware/software co-design. This paper describes a new approach to hardware/software partitioning for synchronous communication model. We transform the partitioning into a reachability problem of timed automata. By means of an optimal reachability algorithm, an optimal solution can be obtained in terms of limited resources in hardware. To relax the initial condition of the partitioning for optimization, two algorithms are designed to explore the dependency relations among processes in the sequential specification. Moreover, we propose a scheduling algorithm to improve the synchronous communication efficiency further after partitioning stage. Some experiments are conducted with model checker UPPAAL to show our approach is both effective and efficient.",
keywords = "Hardware/software partitioning, Reachability, Scheduling algorithm, Timed automata",
author = "Pu Geguang and \{Van Hung\}, Dang and He Jifeng and Wang Yi",
year = "2004",
doi = "10.1007/978-3-540-24756-2\_20",
language = "英语",
isbn = "9783540247562",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "363--381",
editor = "Boiten, \{Eerke A.\} and John Derrick and Graeme Smith",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "德国",
}