Tuning the VSIDS decision heuristic for bounded model checkingO. ShachamE. Zarpas2003MTV 2003Conference paper
DeepTrans - A model-based approach to functional verification of address translation mechanismsA. AdirR. Emeket al.2003MTV 2003Conference paper