SERVICES > PROJECTS
Verification Projects
OneSpin offers verification projects conducted by verification experts that use OneSpin technology for functional verification of critical blocks, IP and sub-systems, and for equivalence checking of ASIC and FPGA designs, delivering certified highest quality of the verified components.Activities
The objectives and activities of the verification project are agreed according to customer needs. OneSpin devises the verification framework and – based on a detailed technical analysis – the cost estimates of the project in a Statement of Work. Typical projects are:- Complete verification of peripherals, processors and sub-systems
- Complete verification of configurable IP
- Tool-supported code reviews
- Reverse engineering of legacy code
- Analysis of complex corner-case behavior
- Equivalence checking
Productivity
The verification productivity based upon OneSpin's 360 MV solution is typically between 2000 and 4000 lines of fully verified RTL code per person month of verification effort.OneSpin's Project Experience
OneSpin's verification experts have verified a broad range of modules for market-leading chip design and manufacturing companies. Examples of such modules are:- Legacy configurable Analog-Digital converters used in microcontrollers
- Serial ATA: High-speed (3 Gbps) serial link
- Bus bridges for the AMBA AHB bus
- SDH/Sonet controllers
- Verification of metal fixes in a complex legacy communication design
- Key components of complex digital baseband chips
- Bus bridges (AHB bus)
- Arbiters
- Flash memory controller
- IRDA controller
- System power control unit
- Pad control logic
- Camera Inferface, MultiMedia Card Interface
- Touch screen interface
- Processors
- UMTS up-link correlation co-processor
- 32-bit protocol processor with on-chip context switching and bit manipulation capabilities
- An advanced microcontroller-DSP architecture
- IEEE 754 Floating point unit