Verilog2SMV: A tool for word-level verification.

Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani

Browse the full DATE paper archive.