Unifying design data during verification: Implementing Logic-Driven Layout analysis and debug | IEEE Conference Publication | IEEE Xplore