Model-based ideal testing of hardware description language (HDL) programs

Onur Kilinççeker, Ercument Turk, Fevzi Belli, Moharram Challenger. Model-based ideal testing of hardware description language (HDL) programs. Software and Systems Modeling, 21(3):1209-1240, 2022. [doi]

Abstract

Abstract is missing.