Mintz M. Hardware verification with C++ : a practitioner's handbook / M. Mintz, R. Ekendahl, 2006 r=on-line. - Текст : электронный.
Mintz M. Hardware verification with systemverilog : an object-oriented framework / M. Mintz, R. Ekendahl, 2007 r=on-line. - Текст : электронный.