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 ...