Inventor
GOU PENG FEI
CN8 patents
Patents
8 patentsUS9443044B2Sep 13, 2016
Determining a quality parameter for a verification environment
IBM21 citations90
US9928884B1Mar 27, 2018
Elastic memory expansion chip architecture
IBM8 citations78
US9965580B2May 8, 2018
Ranking combinations of mutants, test cases and random seeds in mutation testing
IBM2 citations72
US11048630B2Jun 29, 2021
Symmetrical multi-processing node
IBM0 citations56
US10614192B2Apr 7, 2020
Ranking combinations of mutants, test cases and random seeds in mutation testing
IBM0 citations51
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