LEC learning3: logic cones and compare points

Formality采用数学方法，穷举Inputs，对比Reference design和Implementation design中的Output.

1.compare points:

Primary output

Register or latch

Input of a black box

 2.Less Common Compare Points 

Multiply-driven net

 Loop 

Cutpoint

3. Logic Cone ：A block of combinational logic that drives a compare point（驱动比较点的组合逻辑块）

4.match points 是与compare points 的数量是不一致的， match points 数量是大于compare points 的， 因为在match points 中有像primary input ports 和clock gating cell 这种的point , 它们是不作为compare points 的