Journals
Books
Articles by keyword assertion-based verification
Methodology of automated quality control for prototyping of the hardware-software devices on the basis of a large capacity FPGA
O. M. Brehov, A. V. Korneenkova, K. A. Kordover, N. Y. Muhin, E. A. Orlova, I. V. Tuzov