• Home
  • About Us
    • Partners
    • Careers
  • Products
    • Verification IPs
      • MIPI Verification IPs
      • Networking and SOC Verification IPs
      • Automotive And Serial Bus Verification IPs
      • Storage And Video Verification IPs
    • Memory Models
      • DDR SDRAM Memory Models
      • DFI Verification IPs
      • DIMM Memory Models
      • Flash Memory Models
      • Graphics Memory Models
      • High Bandwidth Memory Models
      • Low Power Memory Models
      • Misc Memory Models
      • Non volatile Memory Models
      • SDRAM Memory Models
      • SRAM Memory Models
    • SimXL - Emulation Models
      • MIPI Synthesizable Transactors
      • Networking and SOC Synthesizable Transactors
      • Automotive And Serial Bus Synthesizable Transactors
      • Storage And Video Synthesizable Transactors
      • DDR SDRAM Memory Synthesizable Transactors
      • Low Power Memory Synthesizable Transactors
      • Graphics Memory Synthesizable Transactors
      • Flash Memory Synthesizable Transactors
      • High Bandwidth Memory Synthesizable Transactors
      • SDRAM Memory Synthesizable Transactors
      • SRAM Memory Synthesizable Transactors
      • Non volatile Memory Synthesizable Transactors
      • DIMM Memory Synthesizable Transactors
      • Misc Memory Synthesizable Transactors
      • DFI Synthesizable Transactors
    • Formal Verification IPs (Assertion IP)
      • Networking and SOC Assertion IPs
      • DDR SDRAM Memory Assertion IPs
      • Low Power Memory Assertion IPs
      • Graphics Memory Assertion IPs
      • High Bandwidth Memory Assertion IPs
      • SDRAM Memory Assertion IPs
      • DFI Assertion IPs
      • Serial Assertion IPs
    • Post Silicon Validation IPs
      • MIPI Post Silicon Validation IPs
    • Design IPs
      • DDR Controller Design IPs
      • Ethernet Design IPs
      • Serial Bus Design IPs
      • Audio Video Design IPs
      • MIPI Design IPs
      • Automotive Design IPs
      • Bridge Design IPs
      • DMA Controller Design IPs
      • Flash Controller Design IPs
      • High Speed Design IPs
  • Customers
  • News & Events
  • Support
  • Contact Us
about us

Verification IPs

We develop Verification Components, leveraging our rich experience in ASIC / SoC design verification and capabilities on high-level verification languages (HVLs). Our verification components are configurable, reusable plug-and-play verification solutions for standard interfaces based on HVL. We currently support SystemVerilog, Vera, SystemC, Specman E, and Verilog. All our VIP's are supported natively in SystemVerilog VMM, RVM, AVM, OVM, UVM, Verilog, SystemC, VERA, Specman E, and non-standard verification env.

All our verification IPs come with advanced commands, configurations, and a status reporting interface. It's very simple to use and debug. We use a lot of automation for writing Verification IP, so the development time for any verification IP is very efficient and faster. If you need any verification IP which is not listed below, please do let us know. We can develop it very fast for you.

We have more than 100 customers using our Verification IPs. Most of the top semiconductor companies are our customers.

MIPI Verification IPs
  • MIPI APHY VIP : Available
  • MIPI BIF VIP : Available
  • MIPI CPHY VIP : Available
  • MIPI CSI-2 VIP : Available
  • MIPI CSI-3 VIP : Available
  • MIPI DBI VIP : Available
  • MIPI DEBUG VIP : Available
  • MIPI DigRF VIP : Available
  • MIPI DPHY VIP : Available
  • MIPI DPI VIP : Available
  • MIPI DSI VIP : Available
  • MIPI DSI-2 VIP : Available
  • MIPI GbD USB VIP : Available
  • MIPI HSI VIP : Available
  • MIPI HTI VIP : Available
  • MIPI I3C VIP : Available
  • MIPI LLI VIP : Available
  • MIPI MPHY VIP : Available
  • MIPI RFFE VIP : Available
  • MIPI SLIMbus VIP : Available
  • MIPI SoundWire I3S VIP : Available
  • MIPI SoundWire VIP : Available
  • MIPI SPMI VIP : Available
  • MIPI SPP VIP : Available
  • MIPI STP VIP : Available
  • MIPI TWP VIP : Available
  • MIPI UniPro VIP : Available
  • MIPI VGI VIP : Available
Networking and SOC Verification IPs
  • AMBA 3 AHB Bus VIP : Available
  • AMBA 3 AHB VIP : Available
  • AMBA 3 AHB-Lite Bus VIP : Available
  • AMBA 3 AHB-Lite VIP : Available
  • AMBA 3 APB VIP : Available
  • AMBA 4 APB VIP : Available
  • AMBA 5 AHB Bus VIP : Available
  • AMBA 5 AHB VIP : Available
  • AMBA 5 CHI VIP : Available
  • AMBA ACE4 VIP : Available
  • AMBA ACE4-Lite VIP : Available
  • AMBA ACE5 VIP : Available
  • AMBA ACE5-Lite VIP : Available
  • AMBA ATB VIP : Available
  • AMBA AXI3 Interconnect VIP : Available
  • AMBA AXI3 VIP : Available
  • AMBA AXI4 Interconnect VIP : Available
  • AMBA AXI4 VIP : Available
  • AMBA AXI4-Lite Interconnect VIP : Available
  • AMBA AXI4-Lite VIP : Available
  • AMBA AXI4-Stream Interconnect VIP : Available
  • AMBA AXI4-Stream VIP : Available
  • AMBA AXI5 Interconnect VIP : Available
  • AMBA AXI5 VIP : Available
  • AMBA AXI5-Lite Interconnect VIP : Available
  • AMBA AXI5-Lite VIP : Available
  • AMBA CXS VIP : Available
  • AMBA LPI VIP : Available
  • Avalon VIP : Available
  • AVCI (Advanced VCI) VIP : Available
  • BVCI (Basic VCI) VIP : Available
  • CPRI VIP : Available
  • eCPRI VIP : Available
  • Ethernet - up to 800G VIP : Available
  • Ethernet 100BASE-T1 VIP : Available
  • Ethernet 100GBase-KR10/CR10/SR10/LR4 VIP : Available
  • Ethernet 10BASE-T1S VIP : Available
  • Ethernet 10G 64b/66b WIS VIP : Available
  • Ethernet 10G TBI (PCS) VIP : Available
  • Ethernet 10G VIP : Available
  • Ethernet 10G XAUI/10GBase-KX4 VIP : Available
  • Ethernet 10GBase-KR VIP : Available
  • Ethernet 1G VIP : Available
  • Ethernet 2.5GBase-KX/5GBase-KR/2.5GBase-T/5GBase-T VIP : Available
  • Ethernet 200G,400G VIP : Available
  • Ethernet 200GBase-KR8/KR4/KR2 VIP : Available
  • Ethernet 25G,50G VIP : Available
  • Ethernet 25GBase-R/KR VIP : Available
  • Ethernet 40G,100G VIP : Available
  • Ethernet 40GBase-KR4/CR4/SR4/LR4/KR2 VIP : Available
  • Ethernet 50GBase-KR/KR2 VIP : Available
  • Ethernet 400GBase-KR4/KR8/KR16 VIP : Available
  • 800G Ethernet VIP : Available
  • Ethernet AVB VIP : Available
  • Ethernet CGMII 100G VIP : Available
  • Ethernet GMII TBI (8b/10b) VIP : Available
  • Ethernet MII/SMII/RMII/GMII/RGMII VIP : Available
  • Ethernet SGMII/1000Base-KX VIP : Available
  • Ethernet TSN VIP : Available
  • Ethernet XGMII VIP : Available
  • Ethernet XLGMII 40G VIP : Available
  • eUSB VIP : Available
  • G.999.1 VIP : Available
  • Interlaken VIP : Available
  • OBSAI VIP : Available
  • OCP VIP : Available
  • OpenCores Wishbone B3 VIP : Available
  • ORAN VIP : Available
  • PVCI (Peripheral VCI) VIP : Available
  • QI VIP : Available
  • RapidIO VIP : Available
  • RoCE VIP : Available
  • RoE VIP : Available
  • SD Express VIP : Available
  • SDIO 8.0 VIP : Available
  • SDIO UHS II VIP : Available
  • TileLink VIP : Available
  • UAS VIP : Available
  • USB 1.0/1.1/2.0 VIP : Available
  • USB 3.0/3.1/3.2/SSIC VIP : Available
  • USB 4.0 VIP : Available
  • USB PD VIP : Available
  • USB TYPE-C VIP : Available
Automotive And Serial Bus Verification IPs
  • ARINC 419 VIP : Available
  • ARINC 429 VIP : Available
  • ARINC 664 VIP : Available
  • ARINC 825 VIP : Available
  • AVSBus VIP : Available
  • BISS VIP : Available
  • CAN VIP : Available
  • CAN XL VIP : Available
  • CJTAG (IEEE 1149.7) VIP : Available
  • DALI VIP : Available
  • DMX VIP : Available
  • eSPI (Enhanced Serial Peripheral Interface) VIP : Available
  • FlexRay VIP : Available
  • GCI VIP : Available
  • I2C VIP : Available
  • I2S VIP : Available
  • IEC61162 VIP : Available
  • IPMB VIP : Available
  • JESD204 VIP : Available
  • JESD207 VIP : Available
  • JESD403 VIP : Available
  • JTAG (IEEE 1149.1/1149.6) VIP : Available
  • LIN VIP : Available
  • LPC VIP : Available
  • LVDS VIP : Available
  • Microsecond Channel (MSC) VIP : Available
  • Microwire VIP : Available
  • MIL STD 1553 VIP : Available
  • MIL STD 1773 VIP : Available
  • NFC VIP : Available
  • Octal SPI (Serial Peripheral Interface) VIP : Available
  • PMBus VIP : Available
  • QSPI (Quad Serial Peripheral Interface) VIP : Available
  • SAE J1850 VIP : Available
  • Safe-By-Wire Plus VIP : Available
  • SafeSPI VIP : Available
  • SENT (SAE J2716) VIP : Available
  • Serial Flash VIP : Available
  • SGPIO VIP : Available
  • SIMCARD VIP : Available
  • SmartCard (IEC7816) VIP : Available
  • SMBus VIP : Available
  • SpaceFibre VIP : Available
  • SpaceWire VIP : Available
  • SPI (Serial Peripheral Interface) Flash VIP : Available
  • SPI (Serial Peripheral Interface) VIP : Available
  • SPI/BOSCH VIP : Available
  • SPI/EEPROM VIP : Available
  • SPI/FRAM VIP : Available
  • SPI/MACRONIX VIP : Available
  • SPI/MOTOROLA VIP : Available
  • SPI/RTC VIP : Available
  • SPI/SERIAL FLASH VIP : Available
  • SPI/SPANSION FLASH VIP : Available
  • SPI/ST MEMS VIP : Available
  • SPIStack VIP : Available
  • SSI (Synchronous Serial Interface) VIP : Available
  • SVID VIP : Available
  • SWD VIP : Available
  • SWP VIP : Available
  • TS5 VIP : Available
  • UART VIP : Available
  • USART VIP : Available
  • USIM VIP : Available
  • XMBus VIP : Available
  • xSPI (Expanded Serial Peripheral Interface) VIP : Available
Storage And Video Verification IPs
  • ARINC 818 VIP : Available
  • Camera Link HS VIP : Available
  • Camera Parallel Interface (CPI) VIP : Available
  • CCIX VIP : Available
  • CoaXPress (CXP) VIP : Available
  • Compact Flash VIP : Available
  • CXL VIP : Available
  • DDR2 Monitor VIP : Available
  • DDR3 Monitor VIP : Available
  • Display Port 2.0 VIP : Available
  • Display Port VIP : Available
  • Embedded Display Port VIP : Available
  • eMMC VIP : Available
  • FCoE VIP : Available
  • Fibre Channel VIP : Available
  • FPD VIP : Available
  • GENZ VIP : Available
  • HDMI 1.4/2.0/2.1 VIP : Available
  • MHL VIP : Available
  • MPCIE VIP : Available
  • MPEG-2TS VIP : Available
  • NVMe VIP : Available
  • Open LVDS Display Interface (OpenLDI) VIP : Available
  • OpenCAPI VIP : Available
  • PCI Express VIP : Available
  • PCI VIP : Available
  • PDM VIP : Available
  • SAS VIP : Available
  • SATA VIP : Available
  • Serial Front Panel Data Port (SFPDP) VIP : Available
  • SLVS-EC VIP : Available
  • SMPTE Serial Data Interface (SDI) VIP : Available
  • SPDIF (IEC60958) VIP : Available
  • SRIOV VIP : Available
  • TDM VIP : Available
  • Trusted Platform Module (TPM) VIP : Available
  • UFS VIP : Available
  • V-By-One VIP : Available

Memory Models

We develop Memory Models, leveraging our rich experience in ASIC / SoC design verification and capabilities on high-level verification languages (HVLs). Our Memory Models are configurable, reusable plug-and-play verification solutions for standard interfaces based on HVL. We currently support SystemVerilog, Vera, SystemC, Specman E, and Verilog. All our Memory Models are supported natively in SystemVerilog VMM, RVM, AVM, OVM, UVM, Verilog, SystemC, VERA, Specman E and non-standard verification env.

All our Memory Models come with advanced commands, configurations, and status reporting interfaces. They are simple to use and debug. We use a lot of automation for writing Memory Models, so the development time for any Memory Model is very efficient and faster. If you need any Memory Model which is not listed below, please do let us know. We can develop it very fast for you.

We have more than 100 customers using our Verification IPs. Most of the top semiconductor companies are our customers.

DDR SDRAM Memory Models
  • DDR Memory Model : Available
  • DDR2 Memory Model : Available
  • DDR3 3DS Memory Model : Available
  • DDR3 Memory Model : Available
  • DDR3L Memory Model : Available
  • DDR4 3DS Memory Model : Available
  • DDR4 Memory Model : Available
  • DDR5 Memory Model : Available
DFI Verification IPs
  • DDR DFI VIP : Available
  • DDR2 DFI VIP : Available
  • DDR3 DFI VIP : Available
  • DDR4 DFI VIP : Available
  • DDR5 DFI VIP : Available
  • GDDR2 DFI VIP : Available
  • GDDR3 DFI VIP : Available
  • GDDR3L DFI VIP : Available
  • GDDR4 DFI VIP : Available
  • GDDR5 DFI VIP : Available
  • GDDR5X DFI VIP : Available
  • GDDR6 DFI VIP : Available
  • GDDR7 DFI VIP : Available
  • HBM DFI VIP : Available
  • HBM2E DFI VIP : Available
  • HBM3 DFI VIP : Available
  • LPDDR DFI VIP : Available
  • LPDDR2 DFI VIP : Available
  • LPDDR3 DFI VIP : Available
  • LPDDR4 DFI VIP : Available
  • LPDDR5 DFI VIP : Available
DIMM Memory Models
  • DDR3 DIMM Memory Model : Available
  • DDR4 3DS DIMM Memory Model : Available
  • DDR4 DB Memory Model : Available
  • DDR4 DIMM Memory Model : Available
  • DDR4 RCD Memory Model : Available
  • DDR5 DIMM Memory Model : Available
  • NVDIMM-P Memory Model : Available
Flash Memory Models
  • NAND Flash Memory Model : Available
  • Open Nand Flash Interface (ONFI) : Available
  • Parallel NOR Flash Memory Model : Available
  • Serial NOR Flash Memory Model : Available
  • SLC NAND Memory Model : Available
  • SPI NAND Flash Memory Model : Available
  • Toggle Flash Memory Model : Available
  • Twin Quad NOR Flash Memory Model : Available
  • Wide Range VCC Flash Memory Model : Available
  • Xccela Flash Memory Model : Available
Graphics Memory Models
  • GDDR2 Memory Model : Available
  • GDDR3 Memory Model : Available
  • GDDR3L Memory Model : Available
  • GDDR4 Memory Model : Available
  • GDDR5 Memory Model : Available
  • GDDR5X Memory Model : Available
  • GDDR6 Memory Model : Available
  • GDDR6X Memory Model : Available
  • GDDR7 Memory Model : Available
  • MDRAM Memory Model : Available
  • SGRAM Memory Model : Available
  • VRAM Memory Model : Available
High Bandwidth Memory Models
  • GHBM Memory Model : Available
  • HBM Memory Model : Available
  • HBM2E Memory Model : Available
  • HBM3 Memory Model : Available
Low Power Memory Models
  • LPDDR Memory Model : Available
  • LPDDR2 Memory Model : Available
  • LPDDR3 Memory Model : Available
  • LPDDR4 Memory Model : Available
  • LPDDR5 Memory Model : Available
  • LPDDR5X Memory Model : Available
  • LPSDR Memory Model : Available
Misc Memory Models
  • CRAM Memory Model : Available
  • Excelon FRAM Memory Model : Available
  • External Memory Interface (EMIF) : Available
  • FPMRAM Memory Model : Available
  • FRAM Memory Model : Available
  • HyperBus Memory Model : Available
  • HyperFlash Memory Model : Available
  • HyperRAM Memory Model : Available
  • Low Latency DRAM Memory Model : Available
  • OCTARAM Memory Model : Available
  • Parallel PCM Memory Model : Available
  • Parallel PCRAM Memory Model : Available
  • PSRAM Memory Model : Available
  • RDRAM Memory Model : Available
  • Serial PCM Memory Model : Available
  • Serial PCRAM Memory Model : Available
  • TCAM Memory Model : Available
  • Xccela PSRAM Memory Model : Available
Non volatile Memory Models
  • DDR5 NVRAM Memory Model : Available
  • MRAM Memory Model : Available
  • nvSRAM Memory Model : Available
  • RERAM Memory Model : Available
SDRAM Memory Models
  • EDORAM Memory Model : Available
  • FCRAM Memory Model : Available
  • HMC Memory Model : Available
  • RLDRAM Memory Model : Available
  • RLDRAM2 Memory Model : Available
  • RLDRAM3 Memory Model : Available
  • SDRAM Memory Model : Available
  • WIDE IO Memory Model : Available
  • WIDE IO2 Memory Model : Available
SRAM Memory Models
  • QDR2 Memory Model : Available
  • QDR4 Memory Model : Available
  • SBSRAM Memory Model : Available
  • SRAM Memory Model : Available
  • SSRAM Memory Model : Available

SimXL - Emulation Models

We develop Synthesizable Transactors(Emulation Models), leveraging our rich experience in ASIC / SoC design verification and capabilities on high-level verification languages (HVLs) and Emulators, Which can run in Veloce/Palladium/Zebu and any custom FPGA platform. Our Synthesizable Transactors(Emulation Models) are configurable, reusable plug-and-play verification solutions for standard interfaces based on HVL. We currently support Verilog for Synthesizable Transactors with UVM/OVM/SystemVerilog/SystemC/C interface for controlling Synthesizable Transactors(Emulation Models). All Synthesizable Transactors(Emulation Models) have been developed to have same functionality as our VIP's with good performance

All Synthesizable Transactors(Emulation Models) come with advanced commands, configurations, and status reporting interfaces. It's very simple to use and debug. We use a lot of automation for writing Synthesizable Transactors(Emulation Models), so development time for any Synthesizable Transactors(Emulation Models) is very efficient and faster. If you need any Synthesizable Transactor(Emulation Model) which is not listed below, please do let us know. We can develop it very fast for you.

We have many top semiconductor companies using our Synthesizable Transactors(Emulation Models).

MIPI Synthesizable Transactors
  • MIPI CSI-2 Transactor : Available
  • MIPI CSI-3 Transactor : Available
  • MIPI Debug Transactor : Available
  • MIPI DSI Transactor : Available
  • MIPI DSI-2 Transactor : Available
  • MIPI HTI Transactor : Available
  • MIPI I3C Transactor : Available
  • MIPI MPHY Transactor : Available
  • MIPI RFFE Transactor : Available
  • MIPI SLIMbus Transactor : Available
  • MIPI SoundWire Transactor : Available
  • MIPI SPMI Transactor : Available
  • MIPI STP Transactor : Available
  • MIPI Unipro Transactor : Available
  • MIPI SPP Transactor : Available
  • MIPI TWP Transactor : Available
Networking and SOC Synthesizable Transactors
  • AMBA 5 CHI Transactor : Available
  • AMBA ACE4 Transactor : Available
  • AMBA ACE4-Lite Transactor : Available
  • AMBA ACE5 Transactor : Available
  • AMBA ACE5-Lite Transactor : Available
  • AMBA AHB Transactor : Available
  • AMBA APB Transactor : Available
  • AMBA ATB Transactor : Available
  • AMBA AXI3 Transactor : Available
  • AMBA AXI4 Transactor : Available
  • AMBA AXI4-Lite Transactor : Available
  • AMBA AXI4-Stream Transactor : Available
  • AMBA AXI5 Transactor : Available
  • AMBA AXI5-Lite Transactor : Available
  • AMBA CXS Transactor : Available
  • AMBA LPI Transactor : Available
  • CPRI Transactor : Available
  • Ethercat Transactor : Available
  • Ethernet 10GBase-KR Transactor : Available
  • Ethernet 25GBase-R/KR Transactor : Available
  • Ethernet 40G Transactor : Available
  • Ethernet 50G Transactor : Available
  • Ethernet 100G Transactor : Available
  • Ethernet 200G Transactor : Available
  • Ethernet 400G Transactor : Available
  • Ethernet MII/RMII/GMII/RGMII Transactor : Available
  • Ethernet Transactor : Available
  • Ethernet XGMII Transactor : Available
  • Interlaken Transactor : Available
  • OBSAI Transactor : Available
  • OCP Transactor : Available
  • OpenCores Wishbone B3 Transactor : Available
  • PVCI (Peripheral VCI) Transactor : Available
  • RapidIO Transactor : Available
  • SDIO 8.0 Transactor : Available
  • TileLink Transactor : Available
  • USB PD Transactor : Available
Automotive And Serial Bus Synthesizable Transactors
  • ARINC 419 Transactor : Available
  • ARINC 429 Transactor : Available
  • ARINC 825 Transactor : Available
  • AVSBus Transactor : Available
  • CAN Transactor : Available
  • DALI Transactor : Available
  • DMX Transactor : Available
  • eSPI (Enhanced Serial Peripheral Interface) Transactor : Available
  • FlexRay Transactor : Available
  • GCI Transactor : Available
  • I2C Transactor : Available
  • I2C/SMBus Transactor : Available
  • I2S Transactor : Available
  • JESD204 Transactor : Available
  • JESD207 Transactor : Available
  • JTAG (IEEE 1149.1/1149.6) Transactor : Available
  • LIN Transactor : Available
  • LPC Transactor : Available
  • LVDS Transactor : Available
  • Microwire Transactor : Available
  • MIL STD 1553 Transactor : Available
  • MIL STD 1773 Transactor : Available
  • NFC Transactor : Available
  • PMBus Transactor : Available
  • SENT (SAE J2716) Transactor : Available
  • Serial Flash Transactor : Available
  • SmartCard (IEC7816) Transactor : Available
  • SMBus Transactor : Available
  • SpaceWire Transactor : Available
  • SPI (Serial Peripheral Interface) Transactor : Available
  • UART Transactor : Available
  • XSPI (Expanded Serial Peripheral Interface) Transactor : Available
Storage And Video Synthesizable Transactors
  • Camera Parallel Interface (CPI) Transactor : Available
  • Display Port Transactor : Available
  • Fibre Channel Transactor : Available
  • HDMI 1.4/2.0/2.1 Transactor : Available
  • OpenCAPI Transactor : Available
  • PCI Express Transactor : Available
  • PCI Transactor : Available
  • PDM Transactor : Available
  • SAS Transactor : Available
  • SATA Transactor : Available
  • SMPTE Serial Data Interface (SDI) Transactor : Available
  • SPDIF Transactor : Available
  • TDM Transactor : Available
  • UFS Transactor : Available
  • V-By-One Transactor : Available
DDR SDRAM Memory Synthesizable Transactors
  • DDR Transactor : Available
  • DDR2 Transactor : Available
  • DDR3 3DS Transactor : Available
  • DDR3 Transactor : Available
  • DDR3L Transactor : Available
  • DDR4 3DS Transactor : Available
  • DDR4 Transactor : Available
  • DDR5 Transactor : Available
Low Power Memory Synthesizable Transactors
  • LPDDR Transactor : Available
  • LPDDR2 Transactor : Available
  • LPDDR3 Transactor : Available
  • LPDDR4 Transactor : Available
  • LPDDR5 Transactor : Available
  • LPDDR5X Transactor : Available
  • LPSDR Transactor : Available
Graphics Memory Synthesizable Transactors
  • GDDR2 Transactor : Available
  • GDDR3 Transactor : Available
  • GDDR3L Transactor : Available
  • GDDR4 Transactor : Available
  • GDDR5 Transactor : Available
  • GDDR5X Transactor : Available
  • GDDR6 Transactor : Available
  • GDDR7 Transactor : Available
Flash Memory Synthesizable Transactors
  • eMMC Transactor : Available
  • NAND Flash Transactor : Available
  • Open Nand Flash Interface (ONFI) Transactor : Available
  • Parallel NOR Flash Transactor : Available
  • Serial NOR Flash Transactor : Available
  • SLC NAND Transactor : Available
High Bandwidth Memory Synthesizable Transactors
  • GHBM Transactor : Available
  • HBM Transactor : Available
  • HBM2E Transactor : Available
  • HBM3 Transactor : Available
SDRAM Memory Synthesizable Transactors
  • FCRAM Transactor : Available
  • HMC Transactor : Available
  • RLDRAM Transactor : Available
  • RLDRAM2 Transactor : Available
  • RLDRAM3 Transactor : Available
  • SDRAM Transactor : Available
  • WIDE IO Transactor : Available
  • WIDE IO2 Transactor : Available
SRAM Memory Synthesizable Transactors
  • QDR2 Transactor : Available
  • QDR4 Transactor : Available
Non volatile Memory Synthesizable Transactors
  • MRAM Transactor : Available
DIMM Memory Synthesizable Transactors
  • NVDIMM-P Transactor : Available
Misc Memory Synthesizable Transactors
  • HyperBus Transactor : Available
  • Low Latency DRAM Transactor : Available
  • TCAM Transactor : Available
DFI Synthesizable Transactors
  • DDR3 DFI Transactor : Available
  • DDR4 DFI Transactor : Available
  • DDR5 DFI Transactor : Available
  • LPDDR3 DFI Transactor : Available
  • LPDDR4 DFI Transactor : Available
  • LPDDR5 DFI Transactor : Available
  • HBM DFI Transactor : Available
  • HBM2E DFI Transactor : Available
  • GDDR6 DFI Transactor : Available

Formal Verification IPs (Assertion IP)

We develop Formal Verification IP (Assertion IP), leveraging our rich experience in ASIC / SoC design verification and capabilities on high-level verification languages (HVLs) and Formal Verification. Our Formal Verification IP(Assertion IP) are configurable, reusable plug-and-play verification solutions for standard interfaces. We currently support SystemVerilog for Formal Verification IP (Assertion IP).

All our Formal Verification IP (Assertion IP) comes with advanced configurations and a coverage reporting interface. It's very simple to use and debug. We use a lot of automation for writing Formal Verification IP (Assertion IP), so the development time for any Formal Verification IP (Assertion IP) is very efficient and faster. If you need any Formal Verification IP (Assertion IP) which is not listed below, please do let us know. We can develop it very fast for you.

We have many top semiconductor companies who are using our Formal Verification IP (Assertion IP).

Networking and SOC Assertion IPs
  • AMBA ACE5 AIP : Available
  • AMBA 5 CHI AIP : Available
  • AMBA ACE4 AIP : Available
  • AMBA ACE4-Lite AIP : Available
  • AMBA ACE5-Lite AIP : Available
  • AMBA AHB AIP : Available
  • AMBA APB AIP : Available
  • AMBA ATB AIP : Available
  • AMBA AXI3 AIP : Available
  • AMBA AXI4 AIP : Available
  • AMBA AXI4-Lite AIP : Available
  • AMBA AXI4-Stream AIP : Available
  • AMBA AXI5 AIP : Available
  • AMBA AXI5-Lite AIP : Available
  • AMBA CXS AIP : Available
  • AMBA LPI AIP : Available
  • Avalon AIP : Available
  • OCP AIP : Available
  • TileLink AIP : Available
DDR SDRAM Memory Assertion IPs
  • DDR2 AIP : Available
  • DDR3 AIP : Available
  • DDR4 AIP : Available
  • DDR5 AIP : Available
  • DDR AIP : Available
Low Power Memory Assertion IPs
  • LPDDR2 AIP : Available
  • LPDDR3 AIP : Available
  • LPDDR4 AIP : Available
  • LPDDR5 AIP : Available
  • LPDDR5X AIP : Available
  • LPDDR AIP : Available
Graphics Memory Assertion IPs
  • GDDR5 AIP : Available
  • GDDR5X AIP : Available
  • GDDR6 AIP : Available
  • GDDR7 AIP : Available
High Bandwidth Memory Assertion IPs
  • HBM2E AIP : Available
  • HBM3 AIP : Available
  • HBM AIP : Available
SDRAM Memory Assertion IPs
  • SDRAM AIP : Available
DFI Assertion IPs
  • DDR2 DFI AIP : Available
  • DDR3 DFI AIP : Available
  • DDR4 DFI AIP : Available
  • DDR5 DFI AIP : Available
  • DDR DFI AIP : Available
  • GDDR6 DFI AIP : Available
  • HBM2E DFI AIP : Available
  • HBM DFI AIP : Available
  • LPDDR2 DFI AIP : Available
  • LPDDR3 DFI AIP : Available
  • LPDDR4 DFI AIP : Available
  • LPDDR5 DFI AIP : Available
  • LPDDR DFI AIP : Available
Serial Assertion IPs
  • eSPI (Enhanced Serial Peripheral Interface) AIP : Available
  • I2C AIP : Available
  • JTAG (IEEE 1149.1/1149.6) AIP : Available
  • LPC AIP : Available
  • PMBUS AIP : Available
  • SMBUS AIP : Available
  • SPI (Serial Peripheral Interface) AIP : Available
  • UART AIP : Available

Post Silicon Validation IPs

We develop Post Silicon Validation IP (PSVIP), leveraging our rich experience in ASIC / SoC design and capabilities on Verilog and VHDL, and doing complex SOC Silicon Validation. Our PSVIPs are configurable and reusable plug-and-play solutions for standard interfaces. It comes with an advanced configuration, Error injection, and status reporting interface. We validate PSVIPs using the same Verification IPs that have been to tape out multiple ASICs by our customers. Also, we test each of the PSVIPs on an FPGA platform. We use a lot of automation for writing PSVIP, so the development time for any PSVIP is very efficient and faster. If you need any PSVIP which is not listed below, please do let us know. We can develop it very fast for you.

Note : Our Post Silicon Validation IP (PSVIP) has been used by many top semiconductor companies

MIPI Post Silicon Validation IPs
  • MIPI I3C PSVIP : Available
  • MIPI RFFE PSVIP : Available
  • MIPI SoundWire PSVIP : Available
  • MIPI SPMI PSVIP : Available

Design IPs

We develop Design Components, leveraging our rich experience in ASIC / SoC design and capabilities on Verilog and VHDL. Our Design components are configurable and, reusable plug-and-play design solutions for standard interfaces based on Verilog and VHDL. All our design components comes with advanced configuration and status reporting interface. All our Design components are validated using our Verification IPs which has been used to tapeout multiple ASIC by our customers. Also each of design IP is tested on FPGA platform. We use lot of automation for writing Design IP, so time to develop any design IP is very efficient and faster. If you need any design IP which is not listed below, please do let us know. We can develop it very fast for you.

Note : Our Design IPs are proven in ASIC and FPGA.

DDR Controller Design IPs
  • DDR Controller IIP : Available
  • DDR2 Controller IIP : Available
  • DDR3 Controller IIP : Available
  • DDR3L Controller IIP : Available
  • DDR4 Controller IIP : Available
  • DDR5 Controller IIP : Available
  • DFI LPDDR5 PHY IIP : Available
  • GDDR2 Controller IIP : Available
  • GDDR3 Controller IIP : Available
  • GDDR3L Controller IIP : Available
  • GDDR4 Controller IIP : Available
  • GDDR5 Controller IIP : Available
  • GDDR5X Controller IIP : Available
  • GDDR6 Controller IIP : Available
  • GDDR6X Controller IIP : Available
  • HBM2 Controller IIP : Available
  • HBM2E Controller IIP : Available
  • HBM3 Controller IIP : Available
  • LPDDR Controller IIP : Available
  • LPDDR2 Controller IIP : Available
  • LPDDR3 Controller IIP : Available
  • LPDDR4 Controller IIP : Available
  • LPDDR5 Controller IIP : Available
  • LPDDR5X Controller IIP : Available
  • TS5 Master IIP : Available
  • TS5 Slave IIP : Available
Ethernet Design IPs
  • AFDX 1G MAC IIP : Available
  • CPRI Controller IIP : Available
  • eCPRI Controller IIP : Available
  • Ethernet 100G MAC IIP : Available
  • Ethernet 100G PCS IIP : Available
  • Ethernet 10G KR PCS IIP : Available
  • Ethernet 10G MAC IIP : Available
  • Ethernet 10G TSN MAC IIP : Available
  • Ethernet 10G XAUI PCS IIP : Available
  • Ethernet 1G MAC IIP : Available
  • Ethernet 1G PCS IIP : Available
  • Ethernet 1G TSN MAC IIP : Available
  • Ethernet SGMII PCS IIP : Available
  • Ethernet 200/400G TSN MAC IIP : Available
  • Ethernet 200G MAC IIP : Available
  • Ethernet 25G MAC IIP : Available
  • Ethernet 25G PCS IIP : Available
  • Ethernet 25G TSN MAC IIP : Available
  • Ethernet 40/100G TSN MAC IIP : Available
  • Ethernet 400G MAC IIP : Available
  • Ethernet 40G MAC IIP : Available
  • Ethernet 40G PCS IIP : Available
  • Ethernet 50G MAC IIP : Available
  • Ethernet 50G PCS IIP : Available
  • Ethernet 800G MAC IIP : Available
  • Ethernet Switch IIP : Available
  • Interlaken IIP : Available
Serial Bus Design IPs
  • AVSBUS Master IIP : Available
  • AVSBUS Slave IIP : Available
  • eSPI Controller IIP : Available
  • eSPI LPC Bridge IIP : Available
  • eSPI Master IIP : Available
  • eSPI Slave IIP : Available
  • eSPI Slave SOC IIP : Available
  • GPIO Controller IIP : Available
  • I2C Master IIP : Available
  • I2C Slave IIP : Available
  • IEC7816 Master IIP : Available
  • IEC7816 Slave IIP : Available
  • IEEE 1149.7 COMPACT TAP IIP : Available
  • IEEE 1149.7 DTS ADAPTER IIP : Available
  • INTC IIP : Available
  • JESD207 BBIC IIP : Available
  • JESD207 RFIC IIP : Available
  • LPC Device IIP : Available
  • LPC Host IIP : Available
  • MIL STD 1553 Controller IIP : Available
  • Octal SPI Master IIP : Available
  • PCI Master Slave IIP : Available
  • PMBUS Master IIP : Available
  • PMBUS Slave IIP : Available
  • Quad SPI Master IIP : Available
  • RTC IIP : Available
  • SMBUS Master IIP : Available
  • SMBUS Slave IIP : Available
  • SPI Master IIP : Available
  • SPI Slave IIP : Available
  • Timer IIP : Available
  • UART Controller IIP : Available
  • Virtual GPIO IIP : Available
  • Watchdog Timer IIP : Available
  • XSPI Master IIP : Available
  • SGPIO Initiator IIP : Available
  • SGPIO Target IIP : Available
Audio Video Design IPs
  • AC97 Controller IIP : Available
  • CXP Device IIP : Available
  • CXP Host IIP : Available
  • Display Port Receiver IIP : Available
  • Display Port Transmitter IIP : Available
  • eDP Receiver IIP : Available
  • eDP Transmitter IIP : Available
  • FEC RS (544,514) IIP : Available
  • FEC RS (528,514) IIP : Available
  • FEC RS (255,251) IIP : Available
  • FEC RS (198,194) IIP : Available
  • FEC RS (254,250) IIP : Available
  • JESD204 CYCLIC FEC IIP : Available
  • ETHERNET CYCLIC FEC IIP : Available
  • LDPC (1723,2048) IIP : Available
  • H264 Decoder IIP : Available
  • H264 Encoder IIP : Available
  • H265 Decoder IIP : Available
  • H265 Encoder IIP : Available
  • HDCP 1.x Receiver IIP : Available
  • HDCP 1.x Transmitter IIP : Available
  • HDCP 2.x Receiver IIP : Available
  • HDCP 2.x Transmitter IIP : Available
  • HDMI CEC IIP : Available
  • HDMI eARC Receiver IIP : Available
  • HDMI eARC Transmitter IIP : Available
  • HDMI Sink IIP : Available
  • HDMI Source IIP : Available
  • I2S Controller IIP : Available
  • MPEG2 Decoder IIP : Available
  • MPEG2 Encoder IIP : Available
  • MPEG4 Decoder IIP : Available
  • MPEG4 Encoder IIP : Available
  • SLVS-EC Receiver IIP : Available
  • SLVS-EC Transmitter IIP : Available
  • SMPTE SDI Receiver IIP : Available
  • SMPTE SDI Transmitter IIP : Available
  • SPDIF IIP : Available
  • V-By-One Receiver IIP : Available
  • V-By-One Transmitter IIP : Available
  • VC1 Decoder IIP : Available
  • VC1 Encoder IIP : Available
  • VDC-M Decoder IIP : Available
  • VDC-M Encoder IIP : Available
  • VESA DSC Decoder IIP : Available
  • VESA DSC Encoder IIP : Available
  • VP8 Decoder IIP : Available
  • VP8 Encoder IIP : Available
MIPI Design IPs
  • MIPI ASPMI Slave IIP : Available
  • MIPI BIF Master IIP : Available
  • MIPI BIF Slave IIP : Available
  • MIPI CSI-2 Receiver IIP : Available
  • MIPI CSI-2 Transmitter IIP : Available
  • MIPI Debug Target System IIP : Available
  • MIPI DSI-2 Receiver IIP : Available
  • MIPI DSI-2 Transmitter IIP : Available
  • MIPI I3C Master IIP : Available
  • MIPI I3C Slave IIP : Available
  • MIPI RFFE Master IIP : Available
  • MIPI RFFE Slave IIP : Available
  • MIPI RFFE SPI I2C Slave IIP : Available
  • MIPI RFFE SPI Slave IIP : Available
  • MIPI Soundwire Master IIP : Available
  • MIPI Soundwire Slave IIP : Available
  • MIPI SPMI Master IIP : Available
  • MIPI SPMI Slave AHB Bridge IIP : Available
  • MIPI SPMI Slave AXI Bridge IIP : Available
  • MIPI SPMI Slave DMA IIP : Available
  • MIPI SPMI Slave IIP : Available
  • MIPI STP Master IIP : Available
  • MIPI UniPro IIP : Available
Automotive Design IPs
  • AVB MAC IIP : Available
  • CAN Controller IIP : Available
  • FlexRay Controller IIP : Available
  • IEEE 1588 IIP : Available
  • JESD204B Receiver IIP : Available
  • JESD204B Transmitter IIP : Available
  • JESD204C Receiver IIP : Available
  • JESD204C Transmitter IIP : Available
  • LIN Controller IIP : Available
  • SAE J1850 IIP : Available
  • SAE J2716 sensor IIP : Available
  • SAE J2716 controller IIP : Available
  • SBWP Master IIP : Available
  • SBWP Slave IIP : Available
  • SWP Slave IIP : Available
Bridge Design IPs
  • AHB To APB Bridge IIP : Available
  • AHB Arbiter IIP : Available
  • AHB Decoder IIP : Available
  • AHB Multilayer Interconnect IIP : Available
  • I2C Slave To AHB Bridge IIP : Available
  • I2C Slave To AXI Bridge IIP : Available
  • MIPI I3C Slave To AHB Bridge IIP : Available
  • MIPI I3C Slave To AXI Bridge IIP : Available
  • SPI Slave To AHB Bridge IIP : Available
  • SPI Slave To AXI Bridge IIP : Available
  • SPI Slave To SOC Bridge IIP : Available
  • JTAG Slave To AHB Bridge IIp : Available
  • JTAG Slave To AXI Bridge IIP : Available
  • JTAG Slave To APB Bridge IIP : Available
  • JTAG Slave To SOC Bridge IIP : Available
  • TileLink To AHB Bridge IIP : Available
  • TileLink To APB Bridge IIP : Available
DMA Controller Design IPs
  • DMA Controller with AHB IIP : Available
  • DMA Controller with AXI IIP : Available
  • DMA Controller with OCP IIP : Available
  • DMA Controller with TileLink IIP : Available
Flash Controller Design IPs
  • eMMC Device Controller IIP : Available
  • eMMC Host Controller IIP : Available
  • SDIO Device Controller IIP : Available
  • SDIO Host Controller IIP : Available
  • Serial Flash Controller IIP : Available
  • UFS DEVICE IIP : Available
  • UFS HOST IIP : Available
  • XSPI Controller IIP : Available
High Speed Design IPs
  • CXL Controller IIP : Available
  • PCIE Controller IIP : Available
  • RAPIDIO EndPoint Controller IIP : Available
  • SAS Initiator Controller IIP : Available
  • SATA Host Controller IIP : Available
  • USB 1.x DEVICE IIP : Available
  • USB 2.x DEVICE IIP : Available
  • USB 2.x HOST IIP : Available
  • USB 2.x_HUB IIP : Available
  • USB 2.x OTG IIP : Available
  • USB 3.x DEVICE IIP : Available
  • USB3.x HOST IIP : Available
  • USB 3.x HUB IIP : Available
  • USB 3.x OTG IIP : Available
  • USB_PD IIP : Available
  • USB_TYPE_C IIP : Available

About SmartDV
Partners
Careers
Products
Customers
News & Events

Verification IP
Memory Models
SimXL - Emulation Models
Formal Verification IP (Assertion IP)
Post-Silicon Validation IP
Design IP

info@smart-dv.com

Contact Us
Support

Copyright © SmartDV Technologies India Private Limited All rights reserved.