Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/41208
Título: | SOFHIA: a CAD environment to design digital control systems |
Autor(es): | Machado, Ricardo J. Fernandes, João M. Proença, Alberto José |
Palavras-chave: | Petri Nets Digital control systems VHDL CAD tools |
Data: | 1997 |
Editora: | Springer |
Resumo(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. |
Tipo: | Artigo em ata de conferência |
Descrição: | "Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238" |
URI: | https://hdl.handle.net/1822/41208 |
ISBN: | 978-1-4757-5387-5 978-0-387-35064-6 |
DOI: | 10.1007/978-0-387-35064-6_10 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
1997_CHDL_MachadoFernandesProenca-chapman.pdf | 106,42 kB | Adobe PDF | Ver/Abrir |