A systematic approach to configurable functional verification of HW IP blocks at transaction level. - Tomaz Nahtigal; Primoz Puhar; Andrej Zemva (Comput. Electr. Eng., 2012)