Embedded systems verification with FGPA-enhanced in-circuit emulator

ABSTRACT

In this paper we present a novel coverification concept for embedded microcontrollers that satisfies industrial requirements. Based on a commercially available CPU in-circuit emulator coupled with FPGA boards, it verifies the correctness of an implementation in terms of function and timing within a real-world environment.Using our system, the software engineer can write, test and optimize programs for a chip that is not yet physically existent. In addition the system is used to obtain software module characterization data required for system partitioning. Its ability to integrate analog circuitry enables verification of the complete system-on-chip. Our methodology is fully integrated into the ASIC design flow providing ease of use and a high level of verification accuracy.

REFERENCES

• 1: Felice Balarin , Massimiliano Chiodo , Paolo Giusto , Harry Hsieh , Attila Jurecska , Luciano Lavagno , Claudio Passerone , Alberto Sangiovanni-Vincentelli , Ellen Sentovich , Kei Suzuki , Bassam Tabbara, Hardware-software co-design of embedded systems: the POLIS approach, Kluwer Academic Publishers, Norwell, MA, 1997
• 2: Gajski, D., Vahid, F., Narayan, S., Gong, J.: SpecSyn: An Environment Supporting the Specify-Explore-Refine Paradigm for Hardware/Software System Design, IEEE Trans. on VLSI Systems, Vol. 6, No.1, pp. 84-100, 1998
• 3: Aubory, M., Page, I., Plunkett, D., Sauer, M., Saul, J.: Advanced Silicon Prototyping in a Reconfigurable Environment, http://www.comlab.ox.ac.uk/oucl/users/ian.page/ papers.html
• 4: Jie Liu , Marcello Lajolo , Alberto Sangiovanni-Vincentelli, Software timing analysis using HW/SW cosimulation and instruction set simulator, Proceedings of the 6th international workshop on Hardware/software codesign, p.65-69, March 15-18, 1998, Seattle, Washington, United States
• 5: Verkest, D.: Hardware/Software Co-design beyond Co-simulation, Proceedings of the MEDEA/ESPRIT Conference HW/SW Codesign, September 16-18 1998, Grenoble, France
• 6: Krupnova, H., Saucier, G., Nguyen, H.: An Advanced Approach to System Prototyping, Proceedings of the MEDEA/ ESPRIT Conference HW/SW Codesign, September 16-18 1998, Grenoble, France
• 7: C. A. Valderrama , F. Nacabal , P. Paulin , A. A. Jerraya, Automatic generation of interfaces for distributed C-VHDL cosimulation of embedded systems: an industrial experience, Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96), p.72, June 19-21, 1996
• 8: Bassam Tabbara , Enrica Filippi , Luciano Lavagno, Fast hardware-software co-simulation using VHDL models, Proceedings of the conference on Design, automation and test in Europe, p.64-es, January 1999, Munich, Germany [doi>10.1145/307418.307511]
• 9: Marcello Lajolo , Mihai Lazarescu , Alberto Sangiovanni-Vincentelli, A compilation-based software estimation scheme for hardware/software co-simulation, Proceedings of the seventh international workshop on Hardware/software codesign, p.85-89, March 1999, Rome, Italy [doi>10.1145/301177.301493]
• 10: M. Meerwein , C. Baumgartner , W. Glauert, Linking codesign and reuse in embedded systems design, Proceedings of the eighth international workshop on Hardware/software codesign, p.93-97, May 2000, San Diego, California, United States [doi>10.1145/334012.334030]