Bhattacharjee, Debjyoti2016-07-202016-07-20201562p.http://hdl.handle.net/10263/6472Dissertation under the supervision of Ansuman Banerjee, ACM UnitenLTLDebuggingBug localizationBug fix suggestionNew advances in verification and debugging of hardware systemsThesis