%0 Conference Paper %1 conf/sefm/YuDLLWJZ22 %A Yu, Shizhen %A Dong, Yifan %A Liu, Jiuyang %A Li, Yong %A Wu, Zhilin %A Jansen, David N. %A Zhang, Lijun %B SEFM %D 2022 %E Schlingloff, Bernd-Holger %E Chai, Ming %I Springer %K dblp %P 324-331 %T CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper). %U http://dblp.uni-trier.de/db/conf/sefm/sefm2022.html#YuDLLWJZ22 %V 13550 %@ 978-3-031-17108-6

@inproceedings{conf/sefm/YuDLLWJZ22, added-at = {2022-09-27T00:00:00.000+0200}, author = {Yu, Shizhen and Dong, Yifan and Liu, Jiuyang and Li, Yong and Wu, Zhilin and Jansen, David N. and Zhang, Lijun}, biburl = {https://www.bibsonomy.org/bibtex/2d54cb4392bf20367c569a772740d5ba3/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2022}, editor = {Schlingloff, Bernd-Holger and Chai, Ming}, ee = {https://doi.org/10.1007/978-3-031-17108-6_20}, interhash = {cc3179fe6363e4efa7828837fb5a8cf4}, intrahash = {d54cb4392bf20367c569a772740d5ba3}, isbn = {978-3-031-17108-6}, keywords = {dblp}, pages = {324-331}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:06.000+0200}, title = {CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper).}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2022.html#YuDLLWJZ22}, volume = 13550, year = 2022 }