Sheetanshu L. Pandey

Publication Activity (10 Years)

Years Active: 1996-1999
Publications (10 Years): 0

Publications

Sheetanshu L. Pandey, Kothanda Umamageswaran, Philip A. Wilsey
VHDL semantics and validating transformations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (7) (1999)
Sheetanshu L. Pandey, Kothanda R. Subramanian, Philip A. Wilsey
A Semantic Model of VHDL for Validating Rewriting Algebras. EUROMICRO (1996)