Formal verification and empirical analysis of rollback relaxation. - Kothanda Umamageswaran; Krishnan Subramani; Philip A. Wilsey; Perry Alexander (J. Syst. Archit., 1998)

VHDL semantics and validating transformations. - Sheetanshu L. Pandey; Kothanda Umamageswaran; Philip A. Wilsey (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)