Phillip Baraona, Perry Alexander  Home/Search
Context Related
| uc.edu/~kbse/projects/vspec...aaai94.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uc.edu/~kbse/projects/vsp...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes VSPEC, a specification language for digital electronic systems. VSPEC is an extension of the hardware description language VHDL. The VSPEC extensions to VHDL are based on the Larch family of specification languages. They allow a designer to declaratively specify what a system should do as opposed to operationally specifying a single design artifact exhbiting desired behavior. VSPEC is parsed into an abstract syntax tree representation and manipulated by a collection of ... (Update)
Context of citations to this paper: More
...are capable of expressing (and therefore specifying) non functional parameters. Interesting semantics showing promise include VSPEC [1, 20 22] and ViewPoints [23 26] Implementation may be possible with the Talaris framework, either explicitly or by extension. However, the...
Cited by: More
Models of Computation for Specification and Design Methodology.. - Janka (1999) (Correct)
Active bibliography (related documents): More All
0.1: Modelling of an ATM Multiplexer in a Network Terminal for a Mixed.. - Horn (1998) (Correct)
0.1: Basic Concepts for an HDL Reverse Engineering Tool-Set - Lehmann, Wunder.. (1996) (Correct)
0.1: Fault Injection into VHDL Models: The MEFISTO Tool - Jenn, Arlat, Rimén.. (1994) (Correct)
Similar documents based on text: More All
1.0: A Brief Summary of VSPEC - Alexander, Rangarajan, Baraona (Correct)
0.4: Larch Frequently Asked Questions - Revision August (Correct)
0.3: Bibliography - Kevin Jones Lm (Correct)
BibTeX entry: (Update)
P. Baraona and P. Alexander, "VSPEC: A Language for Digital System Specification," presented at AI Models for Systems Engineering Workshop at AAAI-94 Conference, Seattle, WA, 1994. http://citeseer.ist.psu.edu/baraona94vspec.html More
@misc{ baraona94vspec,
author = "P. Baraona and P. Alexander",
title = "VSPEC: A Language for Digital System Specification",
text = "P. Baraona and P. Alexander, VSPEC: A Language for Digital System Specification,
presented at AI Models for Systems Engineering Workshop at AAAI-94 Conference,
Seattle, WA, 1994.",
year = "1994",
url = "citeseer.ist.psu.edu/baraona94vspec.html" }
Citations (may not include all citations):268 Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning - 1993
204 KIDS: A Semiautomatic Program Development System - Smith - 1990
168 Inside Case-Based Reasoning (context) - Riesbeck, Schank - 1989
51 Refine User's Guide (context) - Inc, Alto - 1990
42 McGraw-Hill (context) - Perry - 1991
22 DSS: A Distributed High-Level Synthesis System (context) - Roy, Kumar et al. - 1992
15 Algebra and Models (context) - Hoare - 1993
9 University of Adelaide (context) - Ashenden, Cookbook - 1990
1 ASP-II: An Experiment in Combining Case-Based and Skeletal P.. (context) - Alexander, Tsatsoulis - 1991
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC