Sasken provides semiconductor companies comprehensive chip verification services. The salient features of our services are:

• Development of reusable verification environment at module and chip level
• Development of module-level verification environment that is portable to chip level
• Efficiency in directed and constraints-driven random verification to achieve coverage
• Automation at both module and system level to reduce manual effort
• Reuse of embedded assertions to achieve maximum coverage
• Mixed-mode verification using Specman-e, Vera, C/C++, Metlab, Verilog/VHDL, assembly and assertions
• Large resource pool with domain expertise in various standards, protocols and embedded processors
• Significant number of first pass silicon successes