Automated design space exploration of transient fault detectable datapath based on user specified power and delay constraints | IEEE Conference Publication | IEEE Xplore