A dynamic specification to automatically debug and correct various divider circuits

2Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

Abstract

This paper presents a formal technique to verify and debug division circuits on fixed point numbers. The proposed technique is based on a reverse-engineering mechanism of obtaining a high level model of the gate level implementation and also introducing an intermediate representation of the specification that makes equivalence checking between two models possible. The main advantage of this representation is the fact that the specification is dynamically updated according to the information obtained from the implementation. At the end, if two updated models are not equivalent, possible bugs can be localized and then corrected automatically by analyzing the difference, if possible. Experimental results show the robustness of the proposed technique in comparison with other contemporary methods in terms of the run time and also show that two orders of magnitude average speedup is obtained.

Cite

CITATION STYLE

APA

Haghbayan, M. H., & Alizadeh, B. (2016). A dynamic specification to automatically debug and correct various divider circuits. Integration, the VLSI Journal, 53, 100–114. https://doi.org/10.1016/j.vlsi.2015.12.004

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free