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 |