Last week we announced Incisive Enterprise Verifier (IEV). What is cool about IEV is that it integrates formal analysis and simulation engines in unique ways that provide users with more power. One of the great things about IEV is that it is easy to use and get value quickly. It is all about helping to reduce the overall verification time.
Take a look at the press release, and read Richard Goering's blog Combining Formal Analysis and Simulation Provides New Capabilities. Here is my 3 minute scoop video:
Sarah Lynne Lundell