@article{1458296,
      recid = {1458296},
      author = {Mehta, Ashok B.,},
      title = {SystemVerilog assertions and functional coverage : guide  to language, methodology and applications /},
      pages = {1 online resource (424 pages) :},
      note = {Includes index.},
      url = {http://library.usi.edu/record/1458296},
}