Funktionale Verifikation

Zusammen mit namhaften Kunden aus der Halbleiterindustrie hat El Camino schon sehr früh begonnen sich mit Coverage-Driven / Constraint-Random Verifikation zu beschäftigen. Seit dem Jahr 2000 sind wir Verification Alliance Partner und haben bis heute in zahlreichen Projekten diese Methodik angewandt oder eingeführt und weit über hundert Verifikationsingenieure auf diesem Gebiet geschult.

Egal ob Open oder Universal Verfication Methodology (OVM/UVM) oder Metric Driven Verification (MDV), El Camino ist der richtige Ansprechpartner für die Anwendung auf folgenden Gebieten:

• Virtual Prototype
• HW Simulation / Acceleration / Emulation
• FPGA Prototype
• HW/SW co-verification
• Embedded Software
• Bis hin zu extrem komplexen Systemen wie z.B. dem einer Mobilfunk Basisstation

Beim Entwurf von Verification IP setzen wir im Allgemeinen auf den Universal Verification Methodology (UVM) Standard. Daneben bieten wir im Bereich HW Design aber auch formale Verifikation, sowie traditionelle directed Tests an. Unsere, auf embedded Software Tests spezialisierten Ingenieure, sind ISTQB® Certified.

In unserem Unternehmensbereich Verifikation bietet El Camino umfassendes Know-how mit folgenden Methoden und Sprachen:

• Methoden
  • Open / Universal Verification Methodology ( OVM / UVM )
  • Metric Driven Verification ( MDV )
  • Assertion Based Verification
  • Formal Verification
  • Directed Tests
• Sprachen
  • e language / SystemVerilog
  • SystemC / C++ / C
  • Verilog / VHDL
  • PSL, SystemVerilog Assertions