Application of Formal Word-Level Analysis to Constrained Random Simulation.

Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi

Browse the full CAV paper archive.