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