Fast hardware-software coverification by optimistic execution of real processor

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2000, Pages 663-668

  Yoo, Sungjoo ^a   Lee, Jong Eun ^a   Jung, Jinyong ^a   Rha, Kyungseok ^a   Cho, Youngchul ^a   Choi, Kiyoung ^a  

^a Seoul National University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

CELLULAR PHONE SYSTEMS; CO-VERIFICATION; ORDERS OF MAGNITUDE; PROCESSOR EXECUTION; REAL PROCESSORS; SOFTWARE PARTS; STATE SAVING;

EXHIBITIONS;

VERIFICATION;

EID: 33646937870     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2000.840857     Document Type: Conference Paper

References (17)

1. M. Keating and P. Bricaud, Reuse Methodology Manual, Kluwer Academic Publishers, 1999.
2. ARM Ltd., "ARM Development Boards", available at http://www.arm.com/DevSupp/Boards/.
3. S. Yoo and K. Choi, "Synchronization Overhead Reduction in Timed Cosimulation", Proc. IEEE International High Level Design Validation and Test Workshop, pp. 157-164, Nov. 1997.
4. S. Yoo and K. Choi, "Optimizing Timed Cosimulation by Hybrid Synchronization", to appear in Design Automation for Embedded Systems, Kluwer Academic Publishers.
5. TIA/EIA-95A, "Mobile Station-Base Station Compatibility Standard for Dual-ModeWideband Spread Spectrum Cellular Systems", 1995.
6. S. Yoo, J. Lee, J. Jung, K. Rha, Y. Cho, and K. Choi, "Fast Prototyping of an IS-95 CDMA Cellular Phone : a Case Study", Proc. the 6th Conference of Asia Pacific Chip Design Languages, Oct. 1999.
7. ARM Ltd., "The ARM Development Board - ARM7TDMI Version", available at http://www.arm.com/DevSupp/Boards/pid7t.html.
8. iSystem GmbH, "winIDEA", available at http://www.isystem.com/ Products/F Products.htm.
9. I. Huang and T. Lu, "ICEBERG: An Embedded In-Circuit Emulator Synthesizer for Microcontrollers", Proc. Design Automation Conf., pp. 580-585, June 1999.
10. S. Yoo and K. Choi, "Optimistic Distributed Timed Cosimulation Based on Thread Simulation Model", Proc. Int. Workshop on Hardware-Software Codesign, pp. 71-75, Mar. 1998.
11. S. Yoo and K. Choi, "Optimizing Geographically Distributed Timed Cosimulation by Hierarchically Grouped Messages", Proc. Int. Workshop on Hardware-Software Codesign, pp. 100-104, May 1999.
12. S. Yoo, K. Choi, and D. Ha, "Performance Improvement of Geographically Distributed Cosimulation by Hierarchically Grouped Messages", to appear in IEEE Transactions on VLSI Systems.
13. J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, "Ptolemy: a framework for simulating and prototyping heterogeneous systems", Int. Journal of Computer Simulation, special issue on Simulation Software Development, vol. 4, pp. 155-182, Apr. 1994.
14. LG Semicon Co., Ltd., "32-bit-microprocessor GMS30C710A Data Book", LGSARM DDI 0001A, Apr. 1997.
15. D. Lim, K. Na, and S. Yoo, "Design Automation Lab. Prototyping Board", available at http://poppy.snu.ac.kr/Codesign/DAL P98A/.
16. Qualcomm, Inc., "CDMA System Engineering Training Handbook", 1993.
17. F. Balarin et al., Hardware-Software Co-Design of Embedded Systems, Kluwer Academic Publishers, 1997.