Applying verification intention for design customization via property mining under constrained testbenches | IEEE Conference Publication | IEEE Xplore