SOFHIA: a CAD environment to design digital control systems

doi:10.1007/978-0-387-35064-6_10

Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/41208

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Machado, Ricardo J.	por
dc.contributor.author	Fernandes, João M.	por
dc.contributor.author	Proença, Alberto José	por
dc.date.accessioned	2016-04-22T13:13:19Z	-
dc.date.available	2016-04-22T13:13:19Z	-
dc.date.issued	1997	-
dc.identifier.isbn	978-1-4757-5387-5	-
dc.identifier.isbn	978-0-387-35064-6	-
dc.identifier.uri	https://hdl.handle.net/1822/41208	-
dc.description	"Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238"	por
dc.description.abstract	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.	por
dc.language.iso	eng	por
dc.publisher	Springer	por
dc.rights	openAccess	por
dc.subject	Petri Nets	por
dc.subject	Digital control systems	por
dc.subject	VHDL	por
dc.subject	CAD tools	por
dc.title	SOFHIA: a CAD environment to design digital control systems	por
dc.type	conferencePaper	por
dc.peerreviewed	yes	por
sdum.publicationstatus	info:eu-repo/semantics/publishedVersion	por
oaire.citationStartPage	86	por
oaire.citationEndPage	88	por
oaire.citationConferencePlace	Toledo, Spain	por
oaire.citationTitle	Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and Their Applications...	por
dc.identifier.doi	10.1007/978-0-387-35064-6_10	por
dc.subject.fos	Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática	por
sdum.conferencePublication	Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and Their Applications...	por
Aparece nas coleções:	CAlg - Artigos em livros de atas/Papers in proceedings