Abstract Architecture Representation Using VSPEC
dc.contributor.author | Baraona, Phillip | |
dc.contributor.author | Alexander, Perry | |
dc.date.accessioned | 2015-12-03T14:54:24Z | |
dc.date.available | 2015-12-03T14:54:24Z | |
dc.date.issued | 1999 | |
dc.identifier.citation | Baraona, Phillip, and Perry Alexander. "Abstract Architecture Representation Using VSPEC." VLSI Design 9.2 (1999): 181-201. http://dx.doi.org/10.1155/1999/95465 | en_US |
dc.identifier.uri | http://hdl.handle.net/1808/19081 | |
dc.description.abstract | Complex digital systems are often decomposed into architectures very early in the design process. Unfortunately, traditional simulation based languages such as VHDL do not allow the impact of these architectural decisions to be evaluated until a complete, simulatable design of the system is available. After a complete design is available, architectural errors are time-consuming and expensive to correct. However, there is an alternative to simulation based techniques: formal analysis of abstract architectures at the requirements level. This paper describes VSBEC'S approach for defining and analyzing abstract architectures. VSBEC is a Larch interface language for VHDL that allows a designer to specify the requirements of a VHDL entity using the canonical Larch approach. VHDL structural architectures that instantiate VSPEC entities define abstract architectures. These abstract architectures can be evaluated at the requirements level to determine the impact of architectural decisions. This paper briefly introduces VSPEC provides a formal definition of VSPEC abstract architectures and presents two examples that illustrate the architectural definition capabilities of the language. | en_US |
dc.publisher | Hindawi Publishing Corporation | en_US |
dc.rights | Copyright © 1999 Hindawi Publishing Corporation. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. | |
dc.rights.uri | http://creativecommons.org/licenses/by/3.0/ | |
dc.title | Abstract Architecture Representation Using VSPEC | en_US |
dc.type | Article | |
kusw.kuauthor | Alexander, Perry | |
kusw.kudepartment | Electrical Engr & Comp Science | en_US |
dc.identifier.doi | 10.1155/1999/95465 | |
kusw.oaversion | Scholarly/refereed, publisher version | |
kusw.oapolicy | This item does not meet KU Open Access policy criteria. | |
dc.rights.accessrights | openAccess |
Files in this item
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described as: Copyright © 1999 Hindawi Publishing Corporation. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.