RTL to Verified Netlist

Sasken has delivered  more than 70 ASICs in verticals like wireless, consumer, communications, general, automotive, computing etc.

From its extensive experience built on the system & IP level verification, Sasken promises to deliver almost first time right silicon to it’s customers.

In this model, Sasken will work with it’s customers to functionally qualify a design at a module, subsystem or system level and hand back a fully synthesizable, fully verified netlist to the customer. Customer will take the netlist and perform the backend activities and thereafter release the GDSII to the foundry. If need be Sasken will help the customer sign-off the Gate Level Simulations (GLS).

Sasken’s knowledge pool at a glance:

• Processors – ARM7, ARM9, ARM11, Cortex-A, M, R series, MIPS, PPC, DSP (TI), PIC, Trimedia
• Interconnects – OCP (Open Core Protocol), AMBA AHB APB, AXI, Coreconnect, PCI, PCIe, SATA
• Peripherals – USB 1.1 / USB 2.0 / USB 3.0, Trustzone, Ethernet 1g, Security engines, firewalls, McBSP, RNG, Bluetooth, NFC, WLAN, Memory Controllers (Flash, Nand, Nor, DDR 1, DDR 2 …)
• Standards, Methodology, Tools – SV (VMM) based verification, C / asm based methodology, Power Aware verification, HVL based verification, 180 nm, 130 nm, 90 nm, 65 nm, 45 nm, Magma, ICC, Specman, Vera, SV, PSL, Assertions, Primetime, VCS – mx, Questasim, AMS