Browsing by Author "Litvinova, Eugenia"

Filter results by typing the first few letters
Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Fault detection of system level SoC model
    (Видавництво Львівської політехніки, 2012) Hahanov, Vladimir; Litvinova, Eugenia; Hahanova, Yulia; Gharibi, Wajeb
    The effective process models and methods for diagnosing the functional failures in software and/or hardware are offered. The register or matrix (tabular) data structures, focused to parallel execution of logic operations, are used for detecting the faulty components.
  • 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.