Assertion Based Analysis of Mixed-Signal Systems

dc.contributor.author	Ain, Antara
dc.date.accessioned	2022-06-14T12:04:59Z
dc.date.available	2022-06-14T12:04:59Z
dc.date.issued	2018-04
dc.identifier.govdoc	NB16031
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/11215
dc.language.iso	en	en_US
dc.publisher	IIT Kharagpur	en_US
dc.subject	Assertions	en_US
dc.subject	Features	en_US
dc.subject	Mixed-signal systems	en_US
dc.subject	Verification of AMS circuits	en_US
dc.subject	Analysis of smart electrical grids	en_US
dc.title	Assertion Based Analysis of Mixed-Signal Systems	en_US
dc.type	Thesis	en_US