Renamed to AHCodesignVerifier (https://github.com/eahrold/AHCodesignVerifier)