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: | |
---|---|
Other Authors: | |
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 |