TODO: verification/lvs/magic ============================