Please use this identifier to cite or link to this item:

TitleSOFHIA: a CAD environment to design digital control systems
Author(s)Machado, Ricardo J.
Fernandes, João M.
Proença, Alberto José
KeywordsPetri Nets
Digital control systems
CAD tools
Issue date1997
Abstract(s)Petri Nets (PNs) prove to be an e cient 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 speci cation 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.
TypeConference paper
Description"Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238"
AccessOpen access
Appears in Collections:CAlg - Artigos em livros de atas/Papers in proceedings

Files in This Item:
File Description SizeFormat 
1997_CHDL_MachadoFernandesProenca-chapman.pdf106,42 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID