IDR - IIT Kharagpur

Formal Methods for Aiding Verification of Local Design Changes in Digital Integrated Circuits

Formal Methods for Aiding Verification of Local Design Changes in Digital Integrated Circuits

 

Recent Submissions