Functional coverage-driven verification with SystemC on multiple level of abstraction Author(s): Christoph Kuznik and Wolfgang M¨uller Type: Paper Download