Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/5976
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Fernandes, João M. | - |
dc.contributor.author | Adamski, Marian | - |
dc.contributor.author | Proença, Alberto José | - |
dc.date.accessioned | 2007-01-09T14:52:28Z | - |
dc.date.available | 2007-01-09T14:52:28Z | - |
dc.date.issued | 1997-03 | - |
dc.identifier.citation | "IEE Proceedings : Computers and Digital Techniques". ISSN 1350-2387. 144:2 (Mar. 1997) 127-137. | eng |
dc.identifier.issn | 1350-2387 | - |
dc.identifier.uri | https://hdl.handle.net/1822/5976 | - |
dc.description.abstract | Parallel controllers can be best specified using a description with a formal support to validate structural and dynamic properties. Petri Nets (PN) can provide an adequate means to model and to animate parallel systems based on the control and data path approach, in a hierarchically structured way. A set of tools was developed to allow formal validation of parallel controllers, based on hierarchical PN-based specifications and to automatically generate RT-level VHDL code. An example of a VLSI chip design, the transputer link adaptor, shows the capabilities of this methodology and associated tools. | eng |
dc.description.sponsorship | (undefined) | por |
dc.description.sponsorship | (undefined) | por |
dc.language.iso | eng | eng |
dc.publisher | Institution of Electrical Engineers (IEE) | eng |
dc.rights | openAccess | eng |
dc.subject | VHDL generation | eng |
dc.subject | Parallel controllers | eng |
dc.subject | Petri nets | eng |
dc.title | VHDL generation from hierarchical petri net specifications of parallel controllers | eng |
dc.type | article | eng |
dc.peerreviewed | yes | eng |
oaire.citationStartPage | 127 | por |
oaire.citationEndPage | 137 | por |
oaire.citationIssue | 2 | por |
oaire.citationVolume | 144 | por |
dc.identifier.doi | 10.1049/ip-cdt:19970845 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Iee Proceedings-Computers and Digital Techniques | por |
Aparece nas coleções: | CAlg - Artigos em revistas internacionais / Papers in international journals DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
1997-IEECDT.pdf | 999 kB | Adobe PDF | Ver/Abrir |