ABOUT OUR VERIFICATION SERVICES

Design Verification is one of the most important aspects of the IC development process, consuming 60% – 80% of the total IC development resources and time. We offer a wide range of solutions in pre-silicon design verification that will allow fast and reliable product development for our customers. With over 14 years’ experience providing verifications to semiconductor, defense, telecommunications, medical, automotive + more.

Verification Activities Elsys Supports:

  • SoC
  • IP
  • Sub System
  • Digital Mixed Signal

KNOW-HOW

 

  • High-performance computing SoCs
  • Computer vision processors
  • Low power SoC
  • Microprocessors
  • High-performance modems
  • Imaging signal processors
  • RF communication solutions (Bluetooth, NFC, Zigbee, Z-wave, Wifi, LoRa, Sigfox…)
  • Numerous ARM core-based systems
  • Complex communication protocols
  • Types of Verification we support:
    • Functional/RTL
    • Gate Level
    • Formal
    • Power aware
    • Assertion based
    • Performance
    • Power Analysis
    • Software verification
    • HW/ SW co-verification

SERVICE OFFERINGS INCLUDE:

 

  • Verification Plan Development:
    • Verification process is requirements driven
    • For each requirement one or more test procedures should be defined
    • Each test procedure can be used to verify one or more requirements
    • The coverage status should be defined for each requirement for which the test procedure has declared some degree of coverage
  • Project management and planning
  • Verification tools setup
  • Functional spec assessment
    • Verification Metrics
  • Verification plan and test plans definition
  • Verification environment architecture definition, development
  • Test suite development and debug
  • Regression runs
  • Coverage analysis

TOOLS:

 

  • Modelsim, Cadence Incisive/Xcellium, VCS
  • Analog Tools – Cadence ADE-L, ADE-XL, Virtuoso Schematic Editor, AMS Designer, Hierarchy Editor
  • Analog Simulators – Spectre, APS, XPS MS
  • SystemVerilog, Verilog, Verilog-AMS, VHDL, ARM assembler, C, e/Specman
  • System Verolog Assertions, PSL
  • ClearCase, Perforce/ICM, DesignSync, SVN
  • Verification Plan Tool – vPlaner
  • Regression run/Coverage Analysis Tool – vManager

HDL AND SOFTWARE LANGUAGES

 

Our engineering teams are advanced users / experts of a range of HDL and software languages, which includes:

  • VHDL
  • Verilog
  • System Verilog
  • C/C++
  • Python, Bash, TCL, Perl

METHODOLOGIES AND DEVELOPMENT CYCLES

 

Here is a range of methodologies our engineering teams implement, depending on customer preference:

  • AGILE
  • Direct methodologies
  • eRM
  • UVM
  • V-cycle
  • DO 254
  • SIL
  • ISO26262

CONTACT ELSYS AMERICA

 

Would you like to be contacted by our sales team to discuss about your project?

The information on this form will be sent to one of our business managers so that your request can be processed as quickly as possible. Thank you.