Kaufman, M. et al., “Intertwined Development and Formal Verification of a 60x Bus Model,” 1997 IEEE Int'l Conference on Computer Design, pp. 25-30.* |
Kettler, K.A. et al., “Modeling Bus Scheduling Policies for Real-time Systems,” 1995 Proceedings 16th IEEE Real-Time Systems Symposium, pp. 242-253.* |
Madachy, R. (1994) “Knowledge-Based Risk Assessment and Cost Estimation,” IEEE pp. 172-178. |
Larson, N. et al. (1996) “Managing Design Processes: A Risk Assessment Approach,” IEEE Trans. on Systems, Man, and Cybernetics—Part A: Systems and Humans, 26(6):749-759. |
Jacome, M.F. et al. (1997) “NREC: Risk Assessment and Planning of Complex Designs,” IEEE Design and Test of Computers, pp. 42-49. |
Schütz, M. (1995) “How to Efficiently Build VHDL Testbenches,” IEEE pp. 554-559. |
Bauer, M. et al. (1997) “Hardware/Software Co-Stimulation in a VHDL-based Test Bench Approach,” Proceedings of the Design Automation Conference, US, New York, ACM, 34:774-779. |
“Integrated Set of Design Verification Tools,” IBM Technical Disclosure Bulletin 38(5):329-333 (1995). |
Anderson, T.L. et al. (1997) “Thoughts on Core Integration and Test,” Proceddings—International Test Conference p. 1039. |
Zorian, Y. (1997) “Test Requirements for Embedded Core-based Systems and IEEE P1500,” International Test Conference 28:191-198. |
Sachs, H. (1995) “All-Inclusive Approach to System Design Offers Flexibility Over Single On-chip Bus Method,” Computer Design 37(7):97-98. |
Passerone, R. et al. (1998) “Automatic Synthesis of Interfaces Between Incompatible Protocols,” Proceedings 1998 Design and Automation Conference, pp. 8-13. |
Remaklus, W. (1998) “On-Chip Bus Structure for Custom Core Logic Designs,” IEEE pp. 7-14. |
Rowson, J. et al. (1997) “Interface-Based Design,” Proceedings 1997 Design Automation Conference, pp. 9-13. |
Rincon, A.M. et al. (1997) “Core+ASIC Methodology: The Pursuit of System-on-a-Chip,” WESCON/97 Conference Proceedings, 46-54. |
Gupta, R.K. et al. (1997) “Introducing Core-Based System Design,” IEEE Design and Test of Computers, 14(4):15-25. |