Jian Li, Rajesh K. Gupta: HDL Optimization Using Timed Decision Tables. DAC 1996: 51-54