iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/tcad/FanH24.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - JOUR ID - DBLP:journals/tcad/FanH24 AU - Fan, Hongyu AU - He, Fei TI - Leveraging Datapath Propagation in IC3 for Hardware Model Checking. JO - IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. VL - 43 IS - 7 SP - 2215 EP - 2228 PY - 2024/07/ DO - 10.1109/TCAD.2024.3360022 UR - https://doi.org/10.1109/TCAD.2024.3360022 ER -