Verification Services

１． Background

TOPS Systems supports functional verification of a customer's system LSI based on experience of much microprocessor HW/SW cooperational function verification.

Our company provides consulting service as a QVP partner of Mentor Graphics Corp.

In particular, We think as on-site verification activities, it is important for the following two points.

1. Extraction of validation items without leaving a bug
2. Establishment of a verification TAT that suits business scene

２．The contents of the validation service

　■Verification strategy

• Gather information that defines the space used for verification
• Validation strategy suitable for the verification space

　■Extraction of validation items

• The definition of item validation by checklist type approach
• Define the item type validation of the use case approach

　■Construction of the verification environment

• Creation and validation of models for various verification
• Create and Validate VIP(IP verification)

　■Automatic generation of verification scenarios

• Automatic generation of scenarios from item validation
• Automatic check of the expected value
• a quantitative understanding of the coverage

　■ Verification services on behalf

• Vicarious execution of verification (the direction of an analysis result of a bug, a coverage report)

 ３．Results

　■Functional verification of microprocessors and DSP

　　－Verification of performance

• benchmark (SpecInt, SpecFP, Dhrystone, BAPCO, EEMBC)

　　－Verification of application-level

• Starting the OS, device drivers, and a variety of applications (JPEG, MPEG4, VC-1, WiFi)

　　－Verification of instruction level

• An x86 instruction set, a MIPS instruction set, a TOPSTREAM(TM) several-kinds instruction set

　　－Verification of functional level

• Instruction pipeline, cache, MMU, branch prediction, interrupt, exception
• Multi-threaded, multi-core
• Various arithmetic unit (ALU, integer multiplier, a floating-point multiplier, divider, square-root unit)

　■Functional verification of IP

• Various on-chip bus (AMBA AHP / AXI)
• Interface (USB 2.0, PCI Express, Serial ATA)

  ■Other

• The development of functional verification guidelines
• Construction of the HW /SW cooperation verification environment containing a high-speed simulator

For more information, please contact our sales office for up to（sales@topscom.co.jp）