US Patent Issued to The Board of Trustees of the Leland Stanford Junior University on Nov. 3 for "Generalized QED pre-silicon verification framework" (California Inventors)

ALEXANDRIA, Va., Nov. 3 -- United States Patent no. 12,783,767, issued on Nov. 3, was assigned to The Board of Trustees of the Leland Stanford Junior University (Stanford, Calif.).

"Generalized QED pre-silicon verification framework" was invented by Subhasish Mitra (Palo Alto, Calif.), Clark Barrett (Palo Alto, Calif.), Caroline J. Trippel (Palo Alto, Calif.) and Saranyu Chattopadhyay (Stanford, Calif.).

According to the abstract* released by the U.S. Patent & Trademark Office: "Systems and methods of verifying a hardware processing circuit design for a digital system are disclosed. Three different computer models of the same hardware are implemented. The first computer model is implemented on a first sequence of action inputs and a secon...