US Patent Issued to SILVACO on Sept. 22 for "System and method for automatic generation of standard cells using satisfiability modulo theory solver" (American, Brazilian Inventors)

ALEXANDRIA, Va., Sept. 24 -- United States Patent no. 12,743,572, issued on Sept. 22, was assigned to SILVACO INC. (Santa Clara, Calif.).

"System and method for automatic generation of standard cells using satisfiability modulo theory solver" was invented by Osvaldo Martinello (San Jose, Calif.), Guilherme Simoes Schlinker (San Jose, Calif.) and Marcos Henrique Backes (Porto Alegre, Brazil).

According to the abstract* released by the U.S. Patent & Trademark Office: "An electronic design automation tool and method of operating the same are provided for placement and routing of intra-cell devices in integrated circuits (ICs). Generally the method includes: receiving inputs, creating an instance of a Satisfiability Modulo Theory (SMT) proble...