Identifying state coding conflicts in asynchronous system specifications using Petri net unfoldings

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 1998-March, Issue , 1998, Pages 152-163

  Kondratyev, Alex ^a   Cortadella, Jordi ^b   Kishinevsky, Michael ^a   Lavagno, Luciano ^c,d   Taubin, Alexander ^a   Yakovlev, Alex ^e  

^a UNIVERSITY OF AIZU   (Japan)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^c POLITECNICO DI TORINO   (Italy)

^d LAWRENCE BERKELEY NATIONAL LABORATORY   (United States)

^e NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; SPECIFICATIONS; SYSTEMS ANALYSIS;

ASYNCHRONOUS CONCURRENT; ASYNCHRONOUS SYSTEM; COMBINATORIAL EXPLOSION; COMPUTATIONAL COSTS; PARTIAL ORDER REPRESENTATION; PETRI NET UNFOLDINGS; SIGNAL TRANSITION GRAPHS; TRADITIONAL CONSTRUCTIONS;

CODES (SYMBOLS);

EID: 4644297424     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.1998.657548     Document Type: Conference Paper

References (19)

1. T.-A. Chu. Synthesis of Self-timed VLSI Circuits from Graph-Theoretic Specifications.PhD thesis,MIT, June 1987.
2. J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, andA.Yakovlev. Petrify: A tool formanipulating concurrent specificationsand synthesisof asynchronouscontrollers. IEICE Trans. Inf. and Syst., E80-D(3): 315-325,March 1997.
3. J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge University Press, 1995.
4. J. Esparza. Model checking using net unfoldings. In M.-C. Gaudel and J.-P. Jouannaud, editors, TAPSOFT'93: Theory and Practice of Software Development. 4th Int. Joint Conference CAAP/FASE, volume 668 of Lecture Notes in Computer Science, pages 613-628. Springer-Verlag, 1993.
5. J. Esparza, S. Römer, and W. Vogler. An improvement of McMillan's unfolding algorithm. In Tools and Algorithms for the Construction and Analysis of Systems, volume 1055 of Lecture Notes in Computer Science, pages 87-106, Passau, Germany, March 1996. Springer-Verlag.
6. M. Hack. Analysis of production schemata by Petri Nets. Technical Report TR 94, Project MAC, MIT, 1972.
7. M. A. Kishinevsky, A. Y. Kondratyev, A. R. Taubin, and V. I. Varshavsky. Concurrent Hardware. The Theory and Practice of Self-Timed Design. John Wiley and Sons Ltd., 1993.
8. A. Kondratyev, J. Cortadella, M. Kishinevsky, E. Pastor, O. Roig, and A. Yakovlev. Checking signal transition graph implementability by symbolic bdd traversal. In Proc. of European Design and Test Conference, pages 325 - 332, Paris(France), March 1995.
9. A. Kondratyev, J. Cortadella, M.Kishinevsky, L. Lavagno, A. Taubin, and A. Yakovlev. Identifying state coding conflicts in asynchronous circuit specifications using petri net unfoldings. Technical Report TR No. 614, Computing Science, University of Newcastle upon Tyne, October 1997.
10. A Kondratyev, Kishinevsky M., Taubin A., and Ten S. A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings. In Applications and Theory of Petri Nets 1996. 17th International Conference. Proceedings, volume 1091 of LectureNotes in Computer Science, pages 346-365, 1996. Osaka, Japan, June.
11. A. Kondratyev and A. Taubin. On verification of the speedindependent circuits by STG unfoldings. In International Symposiumon AdvancedResearchin AsynchronousCircuits and Systems, Salt Lake City, Utah, USA, November 1994.
12. K. L. McMillan. A technique of state space search based on unfolding. Formal Methods in System Design, 6(1): 45-65, 1995.
13. S. M.Nowick andD. L.Dill. Automatic synthesisof locallyclocked asynchronous state machines. In Proceedings of the International Conference on Computer-Aided Design, November 1991.
14. E. Pastor,O.Roig, J.Cortadella, andR.Badia. Petri net analysis using booleanmanipulation. In 15th InternationalConference on Application and Theory of Petri Nets, Zaragoza, Spain, June 1994.
15. Enric Pastor, Jordi Cortadella, Alex Kondratyev, and Oriol Roig. Structural methods for the synthesis of speedindependent circuits. In Proc. of European Design and Test Conference, pages 340 - 347, Paris(France), March 1996.
16. J. L. Peterson. Petri Nets, volume 9. ACM Computing Surveys, No. 3, September 1977.
17. L. Y. Rosenblum and A. V. Yakovlev. Signal graphs: From self-timed to timed ones. In International Workshop on Timed Petri Nets, Torino, Italy, 1985.
18. A. Semenov,A. Yakovlev, E. Pastor,M. Pena, J. Cortadella, and L.Lavagno.Partial order approach to synthesis of speedindependent circuits. In Third International Symposium on Advanced Research in Asynchronous Circuits and Systems, Eindhoven,April 1997.
19. E.M. Sentovich,K. J. Singh, L. Lavagno,C.Moon, R.Murgai, A. Saldanha, H. Savoj, P. R. Stephan, R. K. Brayton, and A. Sangiovanni-Vincentelli. SIS: A system for sequential circuit synthesis. Technical Report UCB/ERL M92/41, U.C. Berkeley,May 1992.