Master equivalence checking, logic cones, compare points, and real-world debugging with hands-on labs USE PROMO "BUY-13"