A4 Refereed article in a conference publication

Automated Formal Approach for Debugging Dividers Using Dynamic Specification

Authors: Mahammad-Hashem Haghbayan, Bijan Alizadeh, Amir-Mohammad Rahmani, Pasi Liljeberg, Hannu Tenhunen

Editors: Said Hamdioui, Marco Ottavi

Conference name: IEEE international symposium on defect and fault tolerance in vlsi systems

Publication year: 2014

Book title : Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), 2014 IEEE International Symposium on

ISBN: 978-1-4799-6154-2

DOI: https://doi.org/10.1109/DFT.2014.6962068