Design-Reuse

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

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

Synopsys Enhances DesignWare Synthesizable IP for AMBA 2 and AMBA 3 AXI Protocols

MOUNTAIN VIEW, Calif. -- April 25, 2007-- Synopsys, Inc. (Nasdaq: SNPS - News), a world leader in semiconductor design software, today announced the 2007.04a release of DesignWare® synthesizable ...
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 ...
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 ...