A Semantic Model of VHDL for Validating Rewriting Algebras. - Sheetanshu L. Pandey; Kothanda R. Subramanian; Philip A. Wilsey (EUROMICRO, 1996)

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