5. TODO: verification/drc/magic