A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
Activity-based refinement for abstraction-guided simulation
2009
2009 IEEE International High Level Design Validation and Test Workshop
Semi-formal verification tools are gaining popularity because of their ability to balance the performance of logic simulators with the goal-focused capabilities of formal verification. Within this domain, abstraction-based simulation is a technique that has been proposed in several research works and has also emerged in a few commercial solutions. Abstraction-based simulation performs reachability analysis on a design abstraction to gather approximate information on the distance of each design
doi:10.1109/hldvt.2009.5340163
dblp:conf/hldvt/ChatterjeeB09
fatcat:ywxxadzgmze7vpjqvfokxii3tm