Verification Services

Portfolio

We have very good verification knowledge and excellent expertise with the e language technology and related tools (Specman, vManager), being involved both in hardware and software projects, from verification planning to verification environment design and implementation:

• eVC Design for I2C, SFI 5, SPI 4.2 and InfiniBand protocols. eVCs are verification components written in e, compliant with eRM (e Reuse Methodology).
• eVC Verification for AHB and USB. We used coverage driven verification to validate the eVCs (outsource verification team of 7 engineers, random program generator, functional coverage, regression tracking, methodology).
• Specman verification. We used various techniques from directed to random coverage driven verification (required independent research, key innovative activities, random program generator, functional coverage, regression tracking, bug tracking, methodology).
• Verification of network processors and interfaces like OC48, InfiniBand and Ethernet (10M, 100M, 1G).
• other verification projects including JTAG, ARM ETM, BIST.

We actively contribute to the IEEE 1647 standard (the e system verification language standard).

We reviewed the book Functional Verification Coverage Measurement and Analysis by Andrew Piziali.

Hardware Design Insight

We are aware of the design flows and have insight into designer's state of mind and issues because we have also experience in hardware design, from functional, design and integration specifications to RTL coding, low power techniques, synthesis, formality equivalence checking, ATPG Fault Coverage/Test Coverage.

• Open Multimedia Application Platform OMAPxxxx
• InfiniBand Retiming Repeater Core IP
• 10/100 /1000 Mbps Ethernet MAC IP (IP + verification environment available)
• CAN IP
• Finite Impulse Response Filters
• video and audio processors

Tools & Languages