Model Checking Verilog Descriptions of Cell Libraries

Matthias Raffelsieper, Jan-Willem Roorda, Mohammad Reza Mousavi. Model Checking Verilog Descriptions of Cell Libraries. In Ninth International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, Germany, 1-3 July 2009. pages 128-137, IEEE Computer Society, 2009. [doi]

@inproceedings{RaffelsieperRM09,
  title = {Model Checking Verilog Descriptions of Cell Libraries},
  author = {Matthias Raffelsieper and Jan-Willem Roorda and Mohammad Reza Mousavi},
  year = {2009},
  doi = {10.1109/ACSD.2009.18},
  url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2009.18},
  tags = {model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/RaffelsieperRM09},
  cites = {0},
  citedby = {0},
  pages = {128-137},
  booktitle = {Ninth International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, Germany, 1-3 July 2009},
  publisher = {IEEE Computer Society},
}