Now showing items 1-2 of 2

    • Dynamic Assertion-Based Verification for SystemC 

      Tabakov, Deian (2011)
      SystemC has emerged as a de facto standard modeling language for hardware and embedded systems. However, the current standard does not provide support for temporal specifications. Specifically, SystemC lacks a mechanism ...
    • Experimental evaluation of explicit and symbolic automata-theoretic algorithms 

      Tabakov, Deian (2006)
      The automata-theoretic approach to the problem of program verification requires efficient minimization and complementation of nondeterministic finite automata. This work presents a direct empirical comparison of well-known ...