Inventor
LU YAN HENG
CN4 patents
Patents
4 patentsUS11520961B2Dec 6, 2022
Heterogeneous-computing based emulator
IBM0 citations60
US11120185B2Sep 14, 2021
Hardware incremental model checking verification
IBM0 citations48
US10769331B2Sep 8, 2020
Verification algorithm engine selection
IBM0 citations37
US10699044B2Jun 30, 2020
Integrated circuit design model splitting for formal verification
IBM0 citations37