Automatic Test Case Generation for Prime Field Elliptic Curve Cryptographic Circuits | IEEE Conference Publication | IEEE Xplore