ALEXANDRIA, Va., July 14 -- United States Patent no. 12,682,142, issued on July 14, was assigned to Marvell Asia Pte Ltd (Singapore).
"System and method for coherency protocol verification" was invented by David H. Asher (Sutton, Mass.) and Catherine Choi (Hopkinton, Mass.).
According to the abstract* released by the U.S. Patent & Trademark Office: "A system and corresponding method perform verification. The system comprises a verification checker that monitors protocol messages of a coherency protocol. The coherency protocol is implemented via register-transfer level (RTL) logic of a chip to maintain cache coherency on the chip. The protocol messages are generated via the RTL logic. The system further comprises at least one memory. The v...