Jiuyang Liu

According to our database, Jiuyang Liu authored at least 3 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper).

Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

OverGen: Improving FPGA Usability through Domain-specific Overlay Generation.

Sihao Liu, Jian Weng, Dylan Kupsh, Atefeh Sohrabizadeh, Zhengrong Wang, Licheng Guo, Jiuyang Liu, Maxim Zhulin, Rishabh Mani, Lucheng Zhang, Jason Cong, Tony Nowatzki

Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022

2021

A SC PUF Standard Cell Used for Key Generation and Anti-Invasive-Attack Protection.

Yin Zhang, Zhangqing He, Meilin Wan, Jiuyang Liu, Haoshuang Gu, Xuecheng Zou

IEEE Trans. Inf. Forensics Secur., 2021