article published Bijan Alizadeh author Payman Behnam author Somayeh Sadeghi-Kohan author 78614https://orcid.org/0000-0001-7246-0610 48 department Institute of Electrical and Electronics Engineers (IEEE)2014 eng Computational Theory and MathematicsHardware and ArchitectureTheoretical Computer ScienceSoftware 0018-934010.1109/tc.2014.2329687 1-1 yes Alizadeh, Bijan, Payman Behnam, and Somayeh Sadeghi-Kohan. “A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs.” <i>IEEE Transactions on Computers</i>, 2014, 1–1. <a href="https://doi.org/10.1109/tc.2014.2329687">https://doi.org/10.1109/tc.2014.2329687</a>. B. Alizadeh, P. Behnam, and S. Sadeghi-Kohan, “A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs,” <i>IEEE Transactions on Computers</i>, pp. 1–1, 2014, doi: <a href="https://doi.org/10.1109/tc.2014.2329687">10.1109/tc.2014.2329687</a>. Alizadeh B, Behnam P, Sadeghi-Kohan S. A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs. <i>IEEE Transactions on Computers</i>. Published online 2014:1-1. doi:<a href="https://doi.org/10.1109/tc.2014.2329687">10.1109/tc.2014.2329687</a> Alizadeh, Bijan, et al. “A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs.” <i>IEEE Transactions on Computers</i>, Institute of Electrical and Electronics Engineers (IEEE), 2014, pp. 1–1, doi:<a href="https://doi.org/10.1109/tc.2014.2329687">10.1109/tc.2014.2329687</a>. B. Alizadeh, P. Behnam, S. Sadeghi-Kohan, IEEE Transactions on Computers (2014) 1–1. @article{Alizadeh_Behnam_Sadeghi-Kohan_2014, title={A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs}, DOI={<a href="https://doi.org/10.1109/tc.2014.2329687">10.1109/tc.2014.2329687</a>}, journal={IEEE Transactions on Computers}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Alizadeh, Bijan and Behnam, Payman and Sadeghi-Kohan, Somayeh}, year={2014}, pages={1–1} } Alizadeh, B., Behnam, P., &#38; Sadeghi-Kohan, S. (2014). A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs. <i>IEEE Transactions on Computers</i>, 1–1. <a href="https://doi.org/10.1109/tc.2014.2329687">https://doi.org/10.1109/tc.2014.2329687</a> 462662023-08-02T11:15:22Z2023-08-02T11:32:37Z