1. Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления…
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces Проверка корректности поведения HDL-моделей цифровой…