Bibliography

• [1] Boughton, G.A. Arctic Routing Chip CSG Memo 373. MIT Laboratory for Computer Science. April. 1995. In Proceedings of the 1994 University of Washington Parallel Computer Routing and Communication Workshop. May. 1994.
• [2] Clark, D.W. "Large-Scale Hardware Simulation: Modeling and Verification Strategies" Proc. 25th Anniversary Symposium. Computer Science Department, Carnegie-Mellon University, September. 1990.
• [3] Wood, D.A. et al. "Verifying a Multiprocessor Cache Controller Using Random Test Generation" IEEE Design and Test of Computers. August. 1990.
• [4] Test Technology Technical Committee of the IEEE Computer Society. IEEE Standard Test Access Port and Boundary-Scan Architecture. Std. 1149.1-1990. New York: IEEE, 1990.
• [5] Boughton, G.A. et al. Arctic User's Manual. CSG Memo 353. MIT Laboratory for Computer Science. February. 1994.
• [6] Hall, Anthony. "Seven Myths of Formal Methods" IEEE Software. September. 1990.
• [7] Kubiatowicz, John. Personal Interview. May 10. 1995