|
Hierarchical Annotated Action Diagrams : An Interface-Oriented Specification and Verification Method
Table of Contents:
“... Model of ARM7 Subset -- 7.3 Bus Functional Model of RAM -- 7.4 VHDL Model of interface transducer -- 7.5...”