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 ...
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 ...
Fully configurable Verification IP that emulates activity bus Master or Slave components, or independent compliance Monitors enables the verification of AXI-based devices. Unique IP generation ...
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 ...
SAN JOSE, CA--(Marketwire - Oct 25, 2012) - Cadence Design Systems, Inc. (NASDAQ: CDNS), a leader in global electronic design innovation, today announced multiple successful verification projects ...
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.
MOUNTAIN VIEW, CA--(Marketwired - Feb 22, 2017) - Oski Technology, Inc., the leader in formal verification methodology and services, today announced its move into verification intellectual property ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback