Boule M. Generating hardware assertion checkers / M. Boule, Z. Zilic, 2008 r=on-line. - Текст : электронный.