Browsing by Author "Gorobets, Alexander"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Verification system for SoC HDL-code
    (Видавництво Львівської політехніки, 2012) Litvinova, Eugenia; Hahanova, Anna; Gorobets, Alexander; Priymak, Aleksey
    Assertion-based models and methods for the verification and diagnosis of HDL-code functional failures, which make possible to reduce considerably time-to-market of software and hardware, are developed.