Felice Balarin Roberto Passerone Functional verification methodology based on formal interface specification and transactor generation. 1013-1018 2006 conf/date/2006p DATE http://doi.acm.org/10.1145/1131762 db/conf/date/date2006p.html#BalarinP06