loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
9th International Conference on VLSI Design: VLSI in Mobile Communication
Behavioral Synthesis of Complex Parallel Controllers
Bangalore, INDIA
January 03-January 06
ISBN: 0-8186-7228-5
ASCII Text
x 
 
Krzysztof Bilinski, Erik L. Dagless, Jonathan M. Saul, "Behavioral Synthesis of Complex Parallel Controllers," VLSI Design, International Conference on, pp. 186, 9th International Conference on VLSI Design: VLSI in Mobile Communication, 1996.
 
 
BibTex
x
 
@article{ 10.1109/ICVD.1996.489482,
author = {Krzysztof Bilinski and Erik L. Dagless and Jonathan M. Saul},
title = {Behavioral Synthesis of Complex Parallel Controllers},
journal ={VLSI Design, International Conference on},
volume = {0},
year = {1996},
issn = {1063-9667},
pages = {186},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICVD.1996.489482},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - VLSI Design, International Conference on
TI - Behavioral Synthesis of Complex Parallel Controllers
SN - 1063-9667
SP
EP
A1 - Krzysztof Bilinski,
A1 - Erik L. Dagless,
A1 - Jonathan M. Saul,
PY - 1996
VL - 0
JA - VLSI Design, International Conference on
ER -
 
Krzysztof Bilinski, Department of Electrical & Electronic Engineering University of Bristol Bristol BS8 1TR, United Kingdom
Erik L. Dagless, Department of Electrical & Electronic Engineering University of Bristol Bristol BS8 1TR, United Kingdom
Jonathan M. Saul, Oxford University Computing Laboratory
A CAD system for automatic behavioral synthesis of synchronous parallel controllers from their Petri net specifications is presented. The system operates on an unfolded Petri net's model of a controller, which is called an occurrence net. Having the net unfolded, a set of sequential components of the Petri net is identified, and a state assignment is performed with which the controller can be synthesized. The experimental results show that the method presented in this paper is significantly faster then previous methods.
Citation:
Krzysztof Bilinski, Erik L. Dagless, Jonathan M. Saul, "Behavioral Synthesis of Complex Parallel Controllers," vlsid, pp.186, 9th International Conference on VLSI Design: VLSI in Mobile Communication, 1996
Usage of this product signifies your acceptance of the Terms of Use.