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}, }