Fatemeh Javaheri

Learn More
UTAVP (University of Tehran TLM Assertion based Verification Package) is a package to aid system level designers debug and verify their SystemC RTL and TLM designs. This package provides the designers with an OVL-equivalent assertion package ported to SystemC, a package of Transaction level assertions, and a library of enhanced HDL OVL assertions to verify(More)
  • 1