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:- Gap-free verification of peripherals, processors and sub-systems
- Gap-free verification of configurable IP
- Tool-supported code reviews
- Reverse engineering of legacy code
- Analysis of complex corner-case behavior
OneSpin's Project Experience
OneSpin's verification experts have verified a broad range of modules and subsystems for market-leading chip design and manufacturing companies, including:- 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