BACKWARDS METHOD FOR FINDING DESIGN ERRORS IN HDL CODE

Authors

  • A. S. Shkil Kharkiv National University of Radio Electronics, Ukraine
  • E. E. Syrevich Kharkov National University of Radio Electronics, Ukraine
  • D. Kucherenko Kharkiv National University of Radio Electronics, Ukraine
  • Samer Almadhoun Kharkiv National University of Radio Electronics, Ukraine

DOI:

https://doi.org/10.15588/1607-3274-2009-2-16

Abstract

In this paper the method of design error searching in unstructured HDL-code was considered. The backtracing method was developed. An experiment on HDL-model of digital device that uses this method was carried out.

Author Biographies

A. S. Shkil, Kharkiv National University of Radio Electronics

Ph.D., Associate Professor

E. E. Syrevich, Kharkov National University of Radio Electronics

Ph.D., Associate Professor

D. Kucherenko, Kharkiv National University of Radio Electronics

Research intern

Samer Almadhoun, Kharkiv National University of Radio Electronics

Assistant

References

Syrevich Ye. Ye. Verifikatsiya modeley tsifrovykh ustroystv, predstavlennykh na yazykakh opisaniya apparatury: diss. kand. tekhn. nauk: 05.13.12 / Syrevich Yevgeniya Yefimovna. – Khar'kov, 2007. – 176 s. – Bibliogr.: s. 82–130.

Strukturnyy metod poiska oshibok proyektirovaniya v modelyakh radioelektronnykh ustroystv na HDL: tez. dokl. Tret'yego Mezhdunarodnogo radioelektronnogo foruma «Prikladnaya radioelektronika. Sostoyaniye i perspektivy razvitiya» (oktyabr', 2008) / otv. red. Bondarenko. – Khar'kov : 2008. – 48–51 s.

Shkil' A. S. Realizatsiya protsedur implikatsii na grafovoy strukture / Shkil' A. S., Cheglikov D. I., Zinchenko D. Ye. // Zhurn. radioelektronnyye komp'yuternyye sistemy. – 2006. – Vyp. 6. – S. 172–177.

Abramovici M. Digital System Testing and Testable Design /Abramovici M., Breuer M., Friedman A. – New York : Computer Science Press, 1998. – 652 p.

Test Generation for VHDL Descriptions Verification: Proceedings of IEEE East-West Design & Test Workshop (September, 2005). – Odessa : 2008. – Pp. 191–195 p.

Downloads

Published

2024-10-02

How to Cite

Shkil, A. S., Syrevich, E. E., Kucherenko, D., & Almadhoun, S. (2024). BACKWARDS METHOD FOR FINDING DESIGN ERRORS IN HDL CODE. Radio Electronics, Computer Science, Control, (2), 86. https://doi.org/10.15588/1607-3274-2009-2-16

Issue

No. 2 (2009): Radio Electronics, Computer Science, Control

Section

Mathematical and computer modelling

License

Copyright (c) 2014 А. С. Шкиль, Е. Е. Сыревич, Д. Е. Кучеренко, Самер Альмадхоун

Creative Commons License

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

Creative Commons Licensing Notifications in the Copyright Notices

The journal allows the authors to hold the copyright without restrictions and to retain publishing rights without restrictions.

The journal allows readers to read, download, copy, distribute, print, search, or link to the full texts of its articles.

The journal allows to reuse and remixing of its content, in accordance with a Creative Commons license СС BY -SA.

Authors who publish with this journal agree to the following terms:

  • Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License CC BY-SA that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.

  • Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.

  • Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work.