%0 Journal Article %1 journals/jcst/ChaoLSWL20 %A Chao, Huina %A Li, Huawei %A Song, Xiaoyu %A Wang, Tiancheng %A Li, Xiaowei %D 2020 %J J. Comput. Sci. Technol. %K dblp %N 5 %P 1198-1216 %T Evaluating and Constraining Hardware Assertions with Absent Scenarios. %U http://dblp.uni-trier.de/db/journals/jcst/jcst35.html#ChaoLSWL20 %V 35

@article{journals/jcst/ChaoLSWL20, added-at = {2023-05-11T00:00:00.000+0200}, author = {Chao, Huina and Li, Huawei and Song, Xiaoyu and Wang, Tiancheng and Li, Xiaowei}, biburl = {https://www.bibsonomy.org/bibtex/2714457e26e9fd38f75d5b479348d93da/dblp}, ee = {https://doi.org/10.1007/s11390-020-9708-x}, interhash = {77145f05aaa78860375c6bbfb9578401}, intrahash = {714457e26e9fd38f75d5b479348d93da}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 5, pages = {1198-1216}, timestamp = {2024-04-08T14:31:22.000+0200}, title = {Evaluating and Constraining Hardware Assertions with Absent Scenarios.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst35.html#ChaoLSWL20}, volume = 35, year = 2020 }