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.

Researchers at the Carnegie Mellon University Robotics Institute and the Massachusetts Institute of Technology (MIT), created CHARCHA ( Computer Human Assessment for Recreating Characters with Human ...