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

DOI10.1109/TC.2014.2329687zbMATH Open1360.68355MaRDI QIDQ2982235

Somayeh Sadeghi-Kohan, Payman Behnam, Bijan Alizadeh

Publication date: 16 May 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2982235)