Automating formal verification of customized soft-processors | IEEE Conference Publication | IEEE Xplore