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