%0 Journal Article %1 journals/tcad/PilatoCCSGK23 %A Pilato, Christian %A Collini, Luca %A Cassano, Luca %A Sciuto, Donatella %A Garg, Siddharth %A Karri, Ramesh %D 2023 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 2 %P 462-472 %T Optimizing the Use of Behavioral Locking for High-Level Synthesis. %U http://dblp.uni-trier.de/db/journals/tcad/tcad42.html#PilatoCCSGK23 %V 42

@article{journals/tcad/PilatoCCSGK23, added-at = {2023-09-30T00:00:00.000+0200}, author = {Pilato, Christian and Collini, Luca and Cassano, Luca and Sciuto, Donatella and Garg, Siddharth and Karri, Ramesh}, biburl = {https://www.bibsonomy.org/bibtex/2c68af039204df41630383c31d6341ceb/dblp}, ee = {https://doi.org/10.1109/TCAD.2022.3179651}, interhash = {4ddd6d6a791c02a587d93298047cf81e}, intrahash = {c68af039204df41630383c31d6341ceb}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, month = {February}, number = 2, pages = {462-472}, timestamp = {2024-04-08T19:47:00.000+0200}, title = {Optimizing the Use of Behavioral Locking for High-Level Synthesis.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad42.html#PilatoCCSGK23}, volume = 42, year = 2023 }