Conference paper
Generating random solutions for constraint satisfaction problems
Rina Dechter, Kalev Kask, et al.
AAAI/IAAI 2002
Conference paper
Micro-architecture verification for microprocessors
Abstract
We present a tool and a methodology for micro-architecture verification of microprocessors. This document serves as an introduction to the invited talk in the special session on micro-architecture verification of microprocessors. © 2005 IEEE.
Related
Eyal Bin, Ofer Biran, et al.
ICDCS 2011
Allon Adir, Eli Almog, et al.
IEEE Design and Test of Computers
Laurent Fournier, Yaron Arbetman, et al.
DATE 1999