@Bibtex-file{SE/VHDL.verification.bib,
  title =        "Bibliography on {VHDL} Verification",
  author =       "Simon Read",
  email =        "Simon.Read@umist.ac.uk",
  supported =    "no",
  abstract =     "Well, here's what I believe to be a complete
                 bibliography of VHDL verification.",
  readme =       "I can't take any responsibility for any typos in here,
                 but apologies to anyone whose work I've
                 mis-represented, I also can't guarantee the
                 availability of some of the Technical Reports.",
}