Abstract
For synthesising efficient asynchronous circuits one has to deal with the state space explosion problem. In this paper, we present a combined approach to alleviate it, based on using Petri net unfoldings and decomposition. The experimental results show significant improvement in terms of runtime compared with other existing methods. © Springer-Verlag Berlin Heidelberg 2007.
Author supplied keywords
Cite
CITATION STYLE
Khomenko, V., & Schaefer, M. (2007). Combining decomposition and unfolding for STG synthesis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4546 LNCS, pp. 223–243). Springer Verlag. https://doi.org/10.1007/978-3-540-73094-1_15
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
