Feature-Oriented Specification of Hardware Bus Protocols
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 par...
Main Author: | Freitas, Paul Michael |
---|---|
Other Authors: | Kathi Fisler, Advisor |
Format: | Others |
Published: |
Digital WPI
2008
|
Subjects: | |
Online Access: | https://digitalcommons.wpi.edu/etd-theses/466 https://digitalcommons.wpi.edu/cgi/viewcontent.cgi?article=1465&context=etd-theses |
Similar Items
-
COMPOSITION - NOMINATIVE SPECIFICATION LANGUAGES OF THE OBJECT - ORIENTED PROGRAMS
by: Liudmyla Omelchuk
Published: (2015-08-01) -
Construction and Verification of PLC LD-programs by LTL-specification
by: E. V. Kuzmin, et al.
Published: (2013-12-01) -
Built-In Return-Oriented Programs in Embedded Systems and Deep Learning for Hardware Trojan Detection
by: Weidler, Nathanael R.
Published: (2019) -
Construction of CFC-programs by LTL-specification
by: D. A. Ryabukhin, et al.
Published: (2016-04-01) -
A Categorical Framework for the Specification and the Verification of Aspect
Oriented Systems
by: Sabas, Arsène
Published: (2013)