Paper Info
Title
Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations
Abstract
This paper proposes a formal design representation model, called Operation Net System, for high-level synthesis of asynchronous systems which is based on transformational approaches. Operation Net System consists of Operation Net, which is based on hierarchical timed Petri nets, and a module graph to unify the description of control and data parts of an asynchronous system. It is used as an intermediate design representation during transformations. Several semantic-preserving basic transformations are defined and used to successively transform an initial design representation into an optimized implementation satisfying designer's requirements. The hierarchical concept of Operation Net reduces the complexity of net operations such as finding the relation of two operations by hiding sub-hierarchical blocks. The selection of the basic transformations is guided by an exploration strategy which performs operation scheduling, resource allocation, and module binding simultaneously. To deal with the complexity of the exploration, we use an iterative algorithm such as Tabu search. This integration of high-level synthesis sub-tasks enables designers to get a better chance to reach a globally optimized solution.
Year
DOI
Venue
2004
10.1007/978-3-540-27793-4_25
Lecture Notes in Computer Science
Keywords
Field
DocType
high level synthesis,satisfiability,iterative algorithm,asynchronous system,global optimization,tabu search
Asynchronous communication,Search algorithm,Petri net,Asynchronous system,Computer science,High-level synthesis,Theoretical computer science,Formal specification,Resource allocation,Tabu search,Distributed computing
Conference
Volume
ISSN
Citations 
3099
0302-9743
1
PageRank 
References 
Authors
0.37
11
3
Name
Order
Citations
PageRank
Donghoon Yoo1213.63
Dongik Lee27714.46
Jeong-A. Lee3586152.69