A Framework for Automated Static Analysis of VHDL (bibtex)

by Serafín Olcoz

Reference:

A Framework for Automated Static Analysis of VHDL (Serafín Olcoz), In Procs of the First Asian Pacific Conference on Hardware Description Languages, Standards and Applications (APCHDLSA'93), 1993.

Bibtex Entry:

@InProceedings{Olcoz1993d,
  author       = {Seraf{\'{\i}}n Olcoz and Jos{\'{e}}-Manuel Colom},
  booktitle    = {Procs of the First Asian Pacific Conference on Hardware Description Languages, Standards and Applications (APCHDLSA'93)},
  title        = {A Framework for Automated Static Analysis of {VHDL}},
  year         = {1993},
  address      = {Brisbane, QLD, Australia},
  month        = {December},
  organization = {The University of Queensland},
  pages        = {71-75},
  groups       = {silarri:6},
  keywords     = {Petri Net Modelling, Digital Circuits, VHDL Language, Software Tools},
}