集成电路中的概念¶

logic cone: In formal verification, a "logic cone" refers to the set of all the logic gates and their inputs that are connected to a specific output. It is used to model the behavior of a digital circuit and ensure that it is functioning correctly.