Title page for ETD etd-042908-140922

Document Type thesis

Author Name Freitas, Paul Michael

URN etd-042908-140922

Title Feature-Oriented Specification of Hardware Bus Protocols

Degree MS

Department Computer Science

Advisors
Kathi Fisler, Advisor
Gary Pollice, Reader

Keywords
hardware verification
language
timing diagrams
aspect-oriented programming

Date of Presentation/Defense 2008-05-05

Availability unrestricted

Abstract
Hardware engineers frequently create formal specification documents as part of the verification process. Doing so is a time-consuming and error-prone process, as the primary documents for communications and standards use a mixture of prose, diagrams and tables. We would like this process to be partially automated, in which the engineer’s role would be to refine a machine-generated skeleton of a specification’s formal model. We have created a preliminary intermediate language which allows specifications to be captured using formal semantics, and allows an engineer to easily find, understand, and modify critical portions of the specification. We have converted most of ARM’s AMBA AHB specification to our language; our representation is able to follow the structure of the original document.

Files
PMF_FOSHP.pdf

Browse by Author | Browse by Department | Search all available ETDs

Questions? Email etd-questions@wpi.edu
Maintained by webmaster@wpi.edu

Document Type	thesis
Author Name	Freitas, Paul Michael
URN	etd-042908-140922
Title	Feature-Oriented Specification of Hardware Bus Protocols
Degree	MS
Department	Computer Science
Advisors	Kathi Fisler, Advisor Gary Pollice, Reader
Keywords	hardware verification language timing diagrams aspect-oriented programming
Date of Presentation/Defense	2008-05-05
Availability	unrestricted
Abstract Hardware engineers frequently create formal specification documents as part of the verification process. Doing so is a time-consuming and error-prone process, as the primary documents for communications and standards use a mixture of prose, diagrams and tables. We would like this process to be partially automated, in which the engineer’s role would be to refine a machine-generated skeleton of a specification’s formal model. We have created a preliminary intermediate language which allows specifications to be captured using formal semantics, and allows an engineer to easily find, understand, and modify critical portions of the specification. We have converted most of ARM’s AMBA AHB specification to our language; our representation is able to follow the structure of the original document.
Files	PMF_FOSHP.pdf