Design-Reuse

Synopsys DesignWare Verification IP for AMBA 3 AXI is First to Earn ARM 'AMBA 3 Assured' Logo Certification

MOUNTAIN VIEW, Calif. and CAMBRIDGE, England -- Sept. 21, 2005-- Synopsys, Inc. (Nasdaq: SNPS), a world leader in semiconductor design software, and ARM (LSE: ARM ...
EDN

Verification IP on AMBA:APB,AHB,AXI

The Perfectus VIP for AXI, AHB, APB provides an efficient algorithm to verify the AMBA based designs by giving the advance techniques including the support for System Verilog assertions. AXI ...
Design-Reuse

Synopsys Announces Industry's First Fully Released Verification IP for the AMBA 3 AXI Standard

Over 25,000 DesignWare Library Users Gain Access to Verification IP for Next-Generation On-Chip Interconnect MOUNTAIN VIEW, Calif., December 6, 2004 - Synopsys, Inc. (Nasdaq:SNPS), a world leader in ...
EDN

Automatic formal verification simplifies AMBA AXI design

To simplify ARM core based system-on-chip embedded design, TransEDA Inc. has just unveiled its imPROVE-HPK AXI, an automated formal verification solution dedicated to the AMBA AXI (Advanced eXtensible ...