Dan Rasin

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 present an algorithm to automatically extract inductive modulo-2 linear invariants from a design. This algorithm makes use of basic linear algebra and is realized on top of an incremental SAT solver. The experimental results demonstrate that a large number of designs possess linear invariants that can be efficiently found by our method. We study how(More)
  • 1