Model Checking Leveraged Error Localization for Complex RTL Designs.

Suriya Srinivasan, Ranga Vemuri

Browse the full ICCD paper archive.