Management and Verification of Power and Thermal Contracts in Integrated Circuits

dc.contributor.author	Mandal, Sudipa
dc.date.accessioned	2022-12-01T12:19:12Z
dc.date.available	2022-12-01T12:19:12Z
dc.date.issued	2022-03
dc.identifier.govdoc	NB17381
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/12165
dc.language.iso	en	en_US
dc.publisher	IIT Kharagpur	en_US
dc.subject	Contract-based approach	en_US
dc.subject	Assume-guarantee	en_US
dc.subject	Power Management Logic	en_US
dc.subject	Mixed-signal Domains	en_US
dc.subject	Power Management	en_US
dc.title	Management and Verification of Power and Thermal Contracts in Integrated Circuits	en_US
dc.type	Thesis	en_US