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

— As the complexity and number of processor cores in SoC designs increase, so do the verification challenges. One such challenge is verifying hardware-based cache coherency protocols used by these ...

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

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

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

It’d be inconceivable these days to design a modern high-performance SoC without a network-on-chip (NoC) fabric. AI hyperscalers are inherently multi-threaded and rely on using hundreds of processing ...

Continuous and pervasive connectivity requires devices to support multiple interface protocols, but that is creating problems at multiple levels because each protocol is based on a different set of ...