Showing 1 - 2 of 2 results for the Author - natasha sharygina , Publish Year - 2005 , Type - White Paper
This paper proposes to use predicate abstraction for verifying RTL Verilog, a technique successfully used for software verification.
Model checking is a promising technology for verifying critical behavior of software. However, software model checking is hamstrung by scalability issues and is difficult for software engineers to use directly. ComFoRT addresses both of these challenges.