Vidura Wijayasekara

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Linear Time Temporal Logic

Delay Insensitive

Similar Objects

Top Venues

Publications

Vidura Wijayasekara, Sudarshan K. Srinivasan, Scott C. Smith
Equivalence verification for NULL Convention Logic (NCL) circuits. ICCD (2014)
Mohana Asha Latha Dubasi, Sudarshan K. Srinivasan, Vidura Wijayasekara
Timed Refinement for Verification of Real-Time Object Code Programs. VSTTE (2014)