A4 Vertaisarvioitu artikkeli konferenssijulkaisussa

Automated Formal Approach for Debugging Dividers Using Dynamic Specification

Tekijät: Mahammad-Hashem Haghbayan, Bijan Alizadeh, Amir-Mohammad Rahmani, Pasi Liljeberg, Hannu Tenhunen

Toimittaja: Said Hamdioui, Marco Ottavi

Konferenssin vakiintunut nimi: IEEE international symposium on defect and fault tolerance in vlsi systems

Julkaisuvuosi: 2014

Kokoomateoksen nimi: 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