Analyzing Functional Coverage in Bounded Model Checking (bibtex)

by Daniel Große, Ulrich Kühne and Rolf Drechsler

Reference:

Daniel Große, Ulrich Kühne and Rolf Drechsler, "Analyzing Functional Coverage in Bounded Model Checking", IEEE Transactions on Computer Aided Design of Circuits and Systems, vol. 27, no. 7, pp. 1305–1314, 2008.

Bibtex Entry:

@Article{GKD:2008,
  author        = {Daniel Gro{\ss}e and Ulrich K\"uhne and Rolf Drechsler},
  pi        = {Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {Analyzing Functional Coverage in Bounded Model Checking},
  journal       = {IEEE Transactions on Computer Aided Design of Circuits and Systems},
  volume	= {27},
  number	= {7},
  pages		= {1305--1314},
  pdffile = {../pipubs/subprojects/P04/Grosse_Functional_Coverage_2008.pdf},
  year          = 2008}