[Weekly Review] 2021/12/06-2021/12/12
2021/12/06-2021/12/12
Last week, I continued to learn UPF, which contains a large amount of knowledge.
I also started to learn formal verification on Saturday.
I finished the Chisel verification of ShapoolNMS and submitted the camera ready paper to DATE 2022. I'm still working on the mAP
of its Chisel implementation for DSE.