An R&D Centre at IIT Bombay

Reports and Students Theses 2005-2006

• Sudeep Juvekar, Ankur Taly, Varun Kanade , Supratik Chakraborty.Efficient Approximate Symbolic Reachability of Discrete-timed Digital Circuits, Technical Report No. TR-07-22.[download]
• Seetha Jayasankar and Supratik Chakraborty.LREs: A Framework For Guiding Symbolic Reachability Analysis , Technical Report No. TR-07-23.[download]

• Joycee Mekie, Supratik Chakraborty, Girish Venkataramani, P. S. Thiagarajan, D. K. Sharma Interfaces for Rationally clocked GALS systems, Technical Report No. TR-06-18.[download]
• Dina Thomas, Supratik Chakraborty and Paritosh Pandya Efficient Guided Symbolic Reachability using Reachability Expressions, Technical Report No. tTR-06-01 (TR-06-19). [download]