VLSI DESIGN : VERIFICATION
VLSI Designs: Verification
![]() |
|
•
|
Cadence Incisive Enterprise Simulator 8.1 |
•
|
QuestaSim 6.4 b |
•
|
Synopsys VCS Mx 2009.12 and VERA |
•
|
Specman Elite |
•
|
Magellan |
•
|
Debussy (Novas), Vnavigator Transeda) STM proprietary C Language assembler/compiler toolsets |
•
|
Hardware Accelerator Platforms (AXIS) |
![]() |
|
• | OVM compliant Gigabit Ethernet MAC System Verilog VIP |
• | OVM compliant IEEE 1394 (Firewire Link Layer Controller) SystemVerilog VIP. |
• | VMM based USB 2.0 Function Controller SystemVerilog VIP |
• | VCS-MX Interface with third party E tool |
• | ERM/URM Compliant 1394 e/uVC |
• | USB OVA AIP |
• | RapidIO VIP |
• | OpenVera RVM VIP |
• | Corporate Application Engineering for VCS, IPX and Covermeter for Synopsys |
• | Verification of Level 3 Mapper SDH/SONET Device |
• | Verification of SAN Controller ASIC |
• | Verification of Mainstream – H263/MPEG Video Codec |
|
VLSI DESIGN : VERIFICATION