A Scalable Formal Debugging Approach with Auto-Correction...

  • Main
  • 2014
  • A Scalable Formal Debugging Approach with Auto-Correction...
IEEE Transactions on Computers 2014

A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs

Alizadeh, Bijan, Behnam, Payman, Sadeghi-kohan, Somayeh
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2014
Language:
english
Journal:
IEEE Transactions on Computers
DOI:
10.1109/TC.2014.2329687
File:
PDF, 642 KB
english, 2014
Conversion to is in progress
Conversion to is failed