Abstract
Petri Nets (PNs) prove to be an efficient methodology to model discrete-event systems with parallel activities. The main advantages lie on the graphical interface and on the availability of a set of techniques for formal analysis, including the validation and the test of the modelled system. A proposal to modify the normal PN behaviour is presented, which aims a fast specification of synchronous parallel digital systems, including both the data path and the control unit. A CAD environment, SOFHIA, was developed to model digital systems, to validate their properties and to simulate their behaviour. The environment includes the automatic generation of VHDL code to allow simulation and synthesis on existing CAD tools.
Chapter PDF
Similar content being viewed by others
References
Fernandes, J. M.; Pina, A. M. and Proença, A. J. (1995a) Concurrent Execution of Petri Nets based on Agents. In 1st Workshop on Object-Oriented Programming and Models of Concurrency,Torino, Italy.
Fernandes, J. M.; Pina, A. M. and Proença, A. J. (1995b) Simulation and Synthesis of Parallel Controllers based on Petri Nets. In VII SBAC-PAD Simpósio Brasileiro de Arquitetura de Computadores — Processamento de Alto Desempenho, 481–92, Canela, Brazil. (in Portuguese).
Fernandes, J. M.; Adamski, M. and Proença, A. J. (1997) VHDL Generation from Petri Net Specifications of Parallel Controller. IEE Proceedings-E: Computers and Digital Techniques. Accepted for publication.
Pardey, J. and Bolton M. (1991) Logic Synthesis of Synchronous Parallel Controllers. Proceedings of the IEEE International Conference on Computer Design, 454–7.
Pina, A. M. (1993) SCBA — Agent-Based Concurrent Simulation. In XX SEMISH,Florianópolis, Brazil. (in Portuguese).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Machado, R.J., Fernandes, J.M., Proença, A.J. (1997). SOFHIA: A CAD Environment to Design Digital Control Systems. In: Kloos, C.D., Cerny, E. (eds) Hardware Description Languages and their Applications. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35064-6_10
Download citation
DOI: https://doi.org/10.1007/978-0-387-35064-6_10
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5387-5
Online ISBN: 978-0-387-35064-6
eBook Packages: Springer Book Archive