Sarkar, Debashis2016-06-302016-06-30199748p.http://hdl.handle.net/10263/6217Dissertation under the supervision of Prof. Bhargab Bikram Bhattacharya, ACM UnitenMOS networksDepth first searchVLSI design and verificationFunction extraction & verification of general MOS transistor circuitsThesis