Verification in BTM Layout