TODO: verification/drc/magic
============================