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 ...
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.
SAN FRANCISCO — EDA and intellectual property (IP) startup Silistix Ltd. has added support for the on-chip AMBA AXI bus protocol to the company's synthesized self-timed interconnect technology, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback