Property-driven Automatic Generation of Reduced-ISA Hardware | IEEE Conference Publication | IEEE Xplore