---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Bijan
      foaf_name: Alizadeh, Bijan
      foaf_surname: Alizadeh
  - foaf_Person:
      foaf_givenName: Payman
      foaf_name: Behnam, Payman
      foaf_surname: Behnam
  - foaf_Person:
      foaf_givenName: Somayeh
      foaf_name: Sadeghi-Kohan, Somayeh
      foaf_surname: Sadeghi-Kohan
      foaf_workInfoHomepage: http://www.librecat.org/personId=78614
    orcid: https://orcid.org/0000-0001-7246-0610
  bibo_doi: 10.1109/tc.2014.2329687
  dct_date: 2014^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/0018-9340
  dct_language: eng
  dct_publisher: Institute of Electrical and Electronics Engineers (IEEE)@
  dct_subject:
  - Computational Theory and Mathematics
  - Hardware and Architecture
  - Theoretical Computer Science
  - Software
  dct_title: A Scalable Formal Debugging Approach with Auto-Correction Capability
    based on Static Slicing and Dynamic Ranking for RTL Datapath Designs@
...