Next: Up: Appnotes Index Previous:4 Conclusions and Recommendations

RASSP Definition and Role of Executable Requirement (ER-SPEC) and Design (ED-SPEC) Specifications Application Note

5.0 References

Anderson, A. H., G. A. Shaw, "Executable Requirements: Opportunities and Impediments," ICASSP 1996 [ANDERSON_A96]

Anderson, A. H., G. A. Shaw, and C. T. Sung, "Vhdl Executable Requirement," Proceedings 1st Annual RASSP Conference, Arlington, Va., August, 1994, pp 87 - 90. [ANDERSON_A94]

Benchmark 4 Consolidated Test Requirements, April 30, 1997. (Note: Under review for release approval.)

Hehner, Eric C. R., "Specifications, Programs, and Total Correctness," University of Toronto, January, 1997. [paper not available]

"RASSP Benchmark 4 Processor Requirements (Draft V0.5)," March 18, 1997. [document not available, see Gary Shaw for release]

RASSP Design For Testability (DFT) Methodology document, Version 1.0, Lockheed Martin Advanced Technology Laboratories, September 1995. [METHODOLOGY_DFT95]

RASSP DFT Summary Benchmark 3 (BM3) Shadow Program, Lockheed Martin Advanced Technology Laboratories, November 1997 [BM3_DFT_Shadow_97] (Note: Under review for release approval.)

RASSP Methodology Document, Version 2.0, Volume 1, Lockheed Martin Advanced Technology Laboratories, October 1995. [METHODOLOGY_95]

Shaw, G. A., Anderson, A. H., and Anderson, J. C., "RASSP Benchmark 4 Technical Description," MIT Lincoln Laboratory, January 9, 1998 [BM4TD_98]

Thulen, M.,"A Case Study of the Application of Simulatable Specifications in the Design of Electronic Sustems," (CEENSS) Program, April 1998. [CEENSS]

Next: Up: Appnotes Index Previous:4 Conclusions and Recommendations