Kothanda Umamageswaran

Publication Activity (10 Years)

Years Active: 1998-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)
Kothanda Umamageswaran, Krishnan Subramani, Philip A. Wilsey, Perry Alexander
Formal verification and empirical analysis of rollback relaxation. J. Syst. Archit. 44 (6-7) (1998)