@INPROCEEDINGS{AGTD:2007,
   AUTHOR    = {Mahsan Amoui and Daniel Gro{\ss}e and Mitchell A. Thornton and Rolf Drechsler},
   TITLE     = {Evaluation of Toggle Coverage for MVL Circuits Specified in the {SystemVerilog HDL}},
   BOOKTITLE = ismvl,
   PAGES     = {50 (6 pages)},
   YEAR      = {2007}
}