%0 Journal Article %1 journals/dt/JenihhinTTRHUBEW14 %A Jenihhin, Maksim %A Tsepurov, Anton %A Tihhomirov, Valentin %A Raik, Jaan %A Hantson, Hanno %A Ubar, Raimund %A Bartsch, Gunter %A Escobar, Jorge Hernán Meza %A Wuttke, Heinz-Dietrich %D 2014 %J IEEE Des. Test %K dblp %N 1 %P 83-92 %T Automated Design Error Localization in RTL Designs. %U http://dblp.uni-trier.de/db/journals/dt/dt31.html#JenihhinTTRHUBEW14 %V 31

@article{journals/dt/JenihhinTTRHUBEW14, added-at = {2020-10-26T00:00:00.000+0100}, author = {Jenihhin, Maksim and Tsepurov, Anton and Tihhomirov, Valentin and Raik, Jaan and Hantson, Hanno and Ubar, Raimund and Bartsch, Gunter and Escobar, Jorge Hernán Meza and Wuttke, Heinz-Dietrich}, biburl = {https://www.bibsonomy.org/bibtex/258ea4f3adeeaaa12b5db3fb70755d0fc/dblp}, ee = {https://www.wikidata.org/entity/Q58825285}, interhash = {d9c5994f153cc70ca3d4f6b0696c0e6f}, intrahash = {58ea4f3adeeaaa12b5db3fb70755d0fc}, journal = {IEEE Des. Test}, keywords = {dblp}, number = 1, pages = {83-92}, timestamp = {2020-10-27T12:50:21.000+0100}, title = {Automated Design Error Localization in RTL Designs.}, url = {http://dblp.uni-trier.de/db/journals/dt/dt31.html#JenihhinTTRHUBEW14}, volume = 31, year = 2014 }