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 ...
Design-Reuse

Synopsys And ARM Collaborate To Accelerate AMBA AXI Adoption With DesignWare Verification IP

MOUNTAIN VIEW, Calif., AND CAMBRIDGE, UK, - June 7, 2004 - Synopsys, Inc. (Nasdaq:SNPS), the world leader in semiconductor design software, and ARM [(LSE:ARM ...
Finanznachrichten

ARM Releases AMBA 3 AXI Assertions

- SystemVerilog and Open Verification Library (OVL) Assertions Provide "Golden" Reference to Accelerate Broad Industry Adoption CAMBRIDGE, England, March 6 /PRNewswire/ -- ARM (LSE: ARM; Nasdaq: ARMHY ...
Design-Reuse

Axis delivers co-verification solution for ARM powered embedded system design

Las Vegas, Nev. - DESIGN AUTOMATION CONFERENCE, June 18, 2001 -Axis Systems, Inc. today announced the integration of Axis' ReConfigurable Computing technology with the ARM7[tm] and ARM9[tm] family ...