Dakui Li

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We propose a verification solution based on characteristic set of Wu's method towards SystemVerilog assertion checking over digital circuit systems. We define a suitable subset of SVAs so that an efficient polynomial modeling mechanism for both circuit descriptions and assertions can be applied. We present an algorithm framework based on the algebraic(More)
  • 1