Worcester Polytechnic Institute Electronic Theses and Dissertations Collection

Title page for ETD etd-042908-140922

Document Typethesis
Author NameFreitas, Paul Michael
TitleFeature-Oriented Specification of Hardware Bus Protocols
DepartmentComputer Science
  • Kathi Fisler, Advisor
  • Gary Pollice, Reader
  • Keywords
  • hardware verification
  • language
  • timing diagrams
  • aspect-oriented programming
  • Date of Presentation/Defense2008-05-05
    Availability unrestricted


    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.

  • PMF_FOSHP.pdf

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

    [WPI] [Library] [Home] [Top]

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