​
Login / Signup
Jiuyang Liu
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 4
Top Topics
Formal Verification
Joint Source Channel Decoding
Hardware Architecture
Bounded Model Checking
Top Venues
MICRO
SEFM
IEEE Trans. Inf. Forensics Secur.
ICS
</>
Publications
</>
Jianping Zeng
,
Shaoyu Huang
,
Jiuyang Liu
,
Changhee Jung
Soft Error Resilience at Near-Zero Cost.
ICS
(2024)
Sihao Liu
,
Jian Weng
,
Dylan Kupsh
,
Atefeh Sohrabizadeh
,
Zhengrong Wang
,
Licheng Guo
,
Jiuyang Liu
,
Maxim Zhulin
,
Rishabh Mani
,
Lucheng Zhang
,
Jason Cong
,
Tony Nowatzki
OverGen: Improving FPGA Usability through Domain-specific Overlay Generation.
MICRO
(2022)
Shizhen Yu
,
Yifan Dong
,
Jiuyang Liu
,
Yong Li
,
Zhilin Wu
,
David N. Jansen
,
Lijun Zhang
CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper).
SEFM
(2022)
Yin Zhang
,
Zhangqing He
,
Meilin Wan
,
Jiuyang Liu
,
Haoshuang Gu
,
Xuecheng Zou
A SC PUF Standard Cell Used for Key Generation and Anti-Invasive-Attack Protection.
IEEE Trans. Inf. Forensics Secur.
16 (2021)