US 11,972,193 B1
Automatic elastic CPU for physical verification
Chris Allen Grossmann, Raleigh, NC (US); Sumit Bhagwanani, Bellevue, WA (US); and Mark Daniel Pogers, Wake Forest, NC (US)
Assigned to SYNOPSYS, INC., Sunnyvale, CA (US)
Filed by Synopsys, Inc., Mountain View, CA (US)
Filed on Sep. 30, 2021, as Appl. No. 17/490,585.
Claims priority of provisional application 63/086,430, filed on Oct. 1, 2020.
Int. Cl. G06F 30/398 (2020.01); G06F 11/34 (2006.01); G06F 30/27 (2020.01)
CPC G06F 30/398 (2020.01) [G06F 11/3442 (2013.01); G06F 30/27 (2020.01)] 20 Claims
OG exemplary drawing
 
1. A method, comprising:
generating a plurality of commands for a physical verification job of a design, wherein the plurality of commands is related by a dependency graph;
allocating an initial amount of computing resources to execute the plurality of commands;
queuing a subset of the plurality of commands for execution based on the dependency graph;
adding, by a processor, an estimated amount of computing resources to the initial amount of computing resources based on the number of the queued subset of commands and an estimated time to complete the queued subset of commands, wherein the estimated time is determined according to one or more of a length of a command chain for each command and a number of input layers that each command operates on in the queued subset of commands; and
releasing a portion of the estimated amount of computing resources in response to the portion of the estimated amount of computing resources being idle for an amount of time greater than a target time.