Skip to main content

SOFHIA: A CAD Environment to Design Digital Control Systems

  • Chapter

Part of the IFIP — The International Federation for Information Processing book series (IFIPAICT)


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.


  • Petri Nets
  • Digital Control Systems
  • VHDL
  • CAD Tools


  • 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.

    Google Scholar 

  • 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).

    Google Scholar 

  • 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.

    Google Scholar 

  • Pardey, J. and Bolton M. (1991) Logic Synthesis of Synchronous Parallel Controllers. Proceedings of the IEEE International Conference on Computer Design, 454–7.

    Google Scholar 

  • Pina, A. M. (1993) SCBA — Agent-Based Concurrent Simulation. In XX SEMISH,Florianópolis, Brazil. (in Portuguese).

    Google Scholar 

Download references

Author information

Authors and Affiliations


Editor information

Editors and Affiliations

Rights and permissions

Reprints 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.

Download citation

  • DOI:

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4757-5387-5

  • Online ISBN: 978-0-387-35064-6

  • eBook Packages: Springer Book Archive