%0 Journal Article %1 journals/tvlsi/HobeikaTB15 %A Hobeika, Christelle %A Thibeault, Claude %A Boland, Jean-François %D 2015 %J IEEE Trans. Very Large Scale Integr. Syst. %K dblp %N 2 %P 407-412 %T Functional Constraint Extraction From Register Transfer Level for ATPG. %U http://dblp.uni-trier.de/db/journals/tvlsi/tvlsi23.html#HobeikaTB15 %V 23

@article{journals/tvlsi/HobeikaTB15, added-at = {2020-03-11T00:00:00.000+0100}, author = {Hobeika, Christelle and Thibeault, Claude and Boland, Jean-François}, biburl = {https://www.bibsonomy.org/bibtex/2a64a2ecac791ae2bee77459c0e71bd8d/dblp}, ee = {https://doi.org/10.1109/TVLSI.2014.2309439}, interhash = {5c5d0e9e4ab648baa0c36f0bb07ee2e9}, intrahash = {a64a2ecac791ae2bee77459c0e71bd8d}, journal = {IEEE Trans. Very Large Scale Integr. Syst.}, keywords = {dblp}, number = 2, pages = {407-412}, timestamp = {2020-03-12T11:42:25.000+0100}, title = {Functional Constraint Extraction From Register Transfer Level for ATPG.}, url = {http://dblp.uni-trier.de/db/journals/tvlsi/tvlsi23.html#HobeikaTB15}, volume = 23, year = 2015 }