%0 Conference Paper %1 conf/hldvt/ChangWBM07 %A Chang, Kai-Hui %A Wagner, Ilya %A Bertacco, Valeria %A Markov, Igor L. %B HLDVT %D 2007 %I IEEE Computer Society %K dblp %P 65-72 %T Automatic error diagnosis and correction for RTL designs. %U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2007.html#ChangWBM07 %@ 978-1-4244-1480-2

@inproceedings{conf/hldvt/ChangWBM07, added-at = {2023-03-23T00:00:00.000+0100}, author = {Chang, Kai-Hui and Wagner, Ilya and Bertacco, Valeria and Markov, Igor L.}, biburl = {https://www.bibsonomy.org/bibtex/231d60ea2f2a4d96d40de58c53951ae88/dblp}, booktitle = {HLDVT}, crossref = {conf/hldvt/2007}, ee = {https://doi.ieeecomputersociety.org/10.1109/HLDVT.2007.4392789}, interhash = {36f5087dfefb4b4e7794a2d75c693427}, intrahash = {31d60ea2f2a4d96d40de58c53951ae88}, isbn = {978-1-4244-1480-2}, keywords = {dblp}, pages = {65-72}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:43:38.000+0200}, title = {Automatic error diagnosis and correction for RTL designs.}, url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2007.html#ChangWBM07}, year = 2007 }