Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings

Issue title: Application of Concurrency to System Design (ACSD'06)

Article type: Research Article

Authors: Khomenko, Victor | Madalinski, Agnes | Yakovlev, Alex

Affiliations: School of Computing Science, Newcastle University, Newcastle upon Tyne, NE1 7RU, United Kingdom | School of Electrical, Electronic and Computer Engineering, Newcastle University, Newcastle upon Tyne, NE1 7RU, United Kingdom. {Victor.Khomenko,A.A.Madalinski,Alex.Yakovlev}@ncl.ac.uk

Note: [] Address for correspondence: Newcastle University, Newcastle upon Tyne, NE1 7RU, United Kingdom

Abstract: A combined framework for the resolution of encoding conflicts in STG unfoldings is presented, which extends previouswork by incorporating concurrency reduction in addition to signal insertion. Furthermore, a novel validity condition is proposed to justify these transformations. The method has been implemented in the CONFRES tool and applied to a number of case studies. The experimental results show that the combined framework enlarges the design space and allows for better exploration of the speed/area tradeoff.

Journal: Fundamenta Informaticae, vol. 86, no. 3, pp. 299-323, 2008