Combining algorithm exploration with instruction set design: a case study in elliptic curve cryptography.