Patent №
US 11,170,147
Granted
2021-11-09
Filed 2019
Owner
YANGTZE MEMORY TECHNOLOGIES CO., LTD.
Lab
—
AI components
2
planning · hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
16544928
A function equivalence check method includes receiving a cell list, receiving an analog constraint of a cell in the cell list, generating the full-coverage input stimuli according to the analog constraint, performing a behavioral-level simulation using the full-coverage input stimuli and according to the behavioral code to generate a behavioral-level simulation result, performing a circuit-level simulation using the full-coverage input stimuli and according to the circuit-level netlist to generate a circuit-level simulation result, and comparing the behavioral-level simulation result and the circuit-level simulation result to generate a comparison report for an analog value auto-comparison.
AI classification
Ownership
YANGTZE MEMORY TECHNOLOGIES CO., LTD.
assignment · 500940306
Assignors
LIAO, LU, WANG, MEI, LI, YUEPING
On an employer assignment, the assignors are typically the inventors.