Embedded systems verification with FGPA-enhanced in-circuit emulator

  • Authors:
  • M. Meerwein;C. Baumgartner;T. Wieja;W. Glauert

  • Affiliations:
  • Robert Bosch GmbH, Automotive Equipment Division 8, 72703 Reutlingen, Germany, Matthias.Meerwein@de.bosch.com;Robert Bosch GmbH, Automotive Equipment Division 8, 72703 Reutlingen, Germany,;Robert Bosch GmbH, Automotive Equipment Division 8, 72703 Reutlingen, Germany,;Institute for Computer Aided Circuit Design, University of Erlangen-Nuremberg, 91052 Erlangen, Germany, whg@lrs.e-technik.uni-erlangen.de

  • Venue:
  • ISSS '00 Proceedings of the 13th international symposium on System synthesis
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

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.