HDL optimization using timed decision tables | IEEE Conference Publication | IEEE Xplore