SOFHIA: a CAD environment to design digital control systems

Bibliographic Details
Main Author: Machado, Ricardo J.
Publication Date: 1997
Other Authors: Fernandes, João M., Proença, Alberto José
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/1822/41208
Summary: "Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238"
id RCAP_c0aec7e15f1980521cf5182d71769d5c
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/41208
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling SOFHIA: a CAD environment to design digital control systemsPetri NetsDigital control systemsVHDLCAD toolsEngenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática"Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238"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.SpringerUniversidade do MinhoMachado, Ricardo J.Fernandes, João M.Proença, Alberto José19971997-01-01T00:00:00Zconference paperinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/1822/41208eng978-1-4757-5387-510.1007/978-0-387-35064-6_10info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-05-11T06:42:39Zoai:repositorium.sdum.uminho.pt:1822/41208Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T16:02:02.186929Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv SOFHIA: a CAD environment to design digital control systems
title SOFHIA: a CAD environment to design digital control systems
spellingShingle SOFHIA: a CAD environment to design digital control systems
Machado, Ricardo J.
Petri Nets
Digital control systems
VHDL
CAD tools
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
title_short SOFHIA: a CAD environment to design digital control systems
title_full SOFHIA: a CAD environment to design digital control systems
title_fullStr SOFHIA: a CAD environment to design digital control systems
title_full_unstemmed SOFHIA: a CAD environment to design digital control systems
title_sort SOFHIA: a CAD environment to design digital control systems
author Machado, Ricardo J.
author_facet Machado, Ricardo J.
Fernandes, João M.
Proença, Alberto José
author_role author
author2 Fernandes, João M.
Proença, Alberto José
author2_role author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Machado, Ricardo J.
Fernandes, João M.
Proença, Alberto José
dc.subject.por.fl_str_mv Petri Nets
Digital control systems
VHDL
CAD tools
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
topic Petri Nets
Digital control systems
VHDL
CAD tools
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
description "Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238"
publishDate 1997
dc.date.none.fl_str_mv 1997
1997-01-01T00:00:00Z
dc.type.driver.fl_str_mv conference paper
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/41208
url http://hdl.handle.net/1822/41208
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 978-1-4757-5387-5
10.1007/978-0-387-35064-6_10
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833595693649887232

Similar Items