%0 Conference Paper %1 conf/hvc/BeckerMNEVJI15 %A Becker, Andrew %A Maksimovic, Djordje %A Novo, David %A Ewaida, Mohsen %A Veneris, Andreas G. %A Jobstmann, Barbara %A Ienne, Paolo %B Haifa Verification Conference %D 2015 %E Piterman, Nir %I Springer %K dblp %P 259-275 %T FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2015.html#BeckerMNEVJI15 %V 9434 %@ 978-3-319-26286-4

@inproceedings{conf/hvc/BeckerMNEVJI15, added-at = {2017-05-19T00:00:00.000+0200}, author = {Becker, Andrew and Maksimovic, Djordje and Novo, David and Ewaida, Mohsen and Veneris, Andreas G. and Jobstmann, Barbara and Ienne, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/292a3a7adcaac24663567dcc670a8e816/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2015}, editor = {Piterman, Nir}, ee = {https://doi.org/10.1007/978-3-319-26287-1_16}, interhash = {08b644f209006f904b01768663b2bdf4}, intrahash = {92a3a7adcaac24663567dcc670a8e816}, isbn = {978-3-319-26286-4}, keywords = {dblp}, pages = {259-275}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:06:40.000+0200}, title = {FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2015.html#BeckerMNEVJI15}, volume = 9434, year = 2015 }