NO.009: Transaction Equivalence Formal Check (DPV) in Video Algorithm/FPU/AI Area