1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering

Formal Methods for Aiding Verification of Local Design Changes in Digital Integrated Circuits Collection home page

Author : Srobona Mitra
Guide : Prof Pallab Dasgupta & Prof. Partha Pratim Chakrabarti
Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1
Issue DateTitleAuthor(s)
2013-06Formal Methods for Aiding Verification of Local Design Changes in Digital Integrated CircuitsMitra, Srobona
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1

Discover