ALEXANDRIA, Va., Nov. 25 -- United States Patent no. 12,481,812, issued on Nov. 25, was assigned to Synopsys Inc. (Sunnyvale, Calif.).
"Multi-machine version independent hierarchical verification" was invented by Anchit Jain (Greater Noida, India), Deepak Ahuja (New Delhi), Paras Mal Jain (Cupertino, Calif.), Pronay Kumar Biswas (Sunnyvale, Calif.) and Abhinav Singla (Greater Noida, India).
According to the abstract* released by the U.S. Patent & Trademark Office: "A method of performing static verification of a circuit design that includes a number of circuit blocks, includes, in part, receiving a first model of a first block generated using a first version of a verification tool and having associated therewith data representative of a v...