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

Designing Using the AMBA (TM) 3 AXI (TM) Protocol -- Easing the Design Challenges and Putting the Verification Task on a Fast Track to Success

The need for higher performance applications is driving the requirement for a new age of on-chip communication infrastructure. Increasing the clock frequency no longer addresses this higher ...
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 ...
Electronic Design

Formal Techniques for Protocol Verification: A Case Study On Verifying the ARM ACE Protocol

More processors on SoCs means more sophisticated cache control. This article describes formal techniques for verifying cache coherency for the ARM AMBA AXI Coherency Extensions (ACE) protocol. Fig 1.
Finanznachrichten

Synopsys' New DesignWare Bridge IP for PCI Express to AMBA 3 AXI Connects Two High-Performance Domains

MOUNTAIN VIEW, Calif., June 7 /PRNewswire-FirstCall/ -- Synopsys, Inc. , a world leader in semiconductor design software, today announced the availability of the ...
EDN

Lower power, high-performance architecture for AMBA 3 AXI On-Chip Interconnect is unveiled

Winchester, UK – Synopsys, Inc., (Mountain View, California) software and IP specialists for semiconductor design and manufacturing, has enhanced its DesignWare IP for the ARM AMBA 3 AXI interconnect ...