{"_id":"Jrx79DQMXEBExi9CQ","bibbaseid":"andraus-liffiton-sakallah-revealaformalverificationtoolforverilogdesigns-2008","author_short":["Andraus, Z. S.","Liffiton, M. H.","Sakallah, K. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Andraus"],"firstnames":["Zaher","S."],"suffixes":[]},{"propositions":[],"lastnames":["Liffiton"],"firstnames":["Mark","H."],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]}],"title":"Reveal: A Formal Verification Tool for Verilog Designs","booktitle":"International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)","address":"Doha, Qatar","publisher":"Springer","volume":"LNCS 5330","pages":"343-352","month":"November","year":"2008","bibtex":"@inproceedings{andraus2008reveal,\n author = {Andraus, Zaher S. and Liffiton, Mark H. and Sakallah, Karem A.},\n title = {{Reveal: A Formal Verification Tool for Verilog Designs}},\n booktitle = {International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)},\n address = {Doha, Qatar},\n publisher = {Springer},\n volume = {LNCS 5330},\n pages = {343-352},\n month = {November},\n year = {2008}\n}\n\n","author_short":["Andraus, Z. S.","Liffiton, M. H.","Sakallah, K. A."],"key":"andraus2008reveal","id":"andraus2008reveal","bibbaseid":"andraus-liffiton-sakallah-revealaformalverificationtoolforverilogdesigns-2008","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://web.eecs.umich.edu/~karem/publications/Sakallah-Publications.bib","dataSources":["dAWPbXiJP4ihEN4GZ"],"keywords":[],"search_terms":["reveal","formal","verification","tool","verilog","designs","andraus","liffiton","sakallah"],"title":"Reveal: A Formal Verification Tool for Verilog Designs","year":2008}