1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering
  4. Management and Verification of Power and Thermal Contracts in Integrated Circuits
Please use this identifier to cite or link to this item: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/12165
Title: Management and Verification of Power and Thermal Contracts in Integrated Circuits
Authors: Mandal, Sudipa
Keywords: Contract-based approach
Assume-guarantee
Power Management Logic
Mixed-signal Domains
Power Management
Issue Date: Mar-2022
Publisher: IIT Kharagpur
Gov't Doc #: NB17381
URI: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/12165
Appears in Collections:Management and Verification of Power and Thermal Contracts in Integrated Circuits

Files in This Item:
File Description SizeFormat 
NB17381_Abstrat.pdf429.59 kBAdobe PDFView/Open
NB17381_Thesis.pdf
  Restricted Access		2.88 MBAdobe PDFView/Open Request a copy
Show full item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.