US Patent Application 18350129. METHOD AND SYSTEM FOR REDUCING MIGRATION ERRORS simplified abstract
Contents
METHOD AND SYSTEM FOR REDUCING MIGRATION ERRORS
Organization Name
Taiwan Semiconductor Manufacturing Company, Ltd.
Inventor(s)
Sandeep Kumar Goel of Hsinchu (TW)
Ankita Patidar of Hsinchu (TW)
METHOD AND SYSTEM FOR REDUCING MIGRATION ERRORS - A simplified explanation of the abstract
This abstract first appeared for US patent application 18350129 titled 'METHOD AND SYSTEM FOR REDUCING MIGRATION ERRORS
Simplified Explanation
The patent application describes a method for manufacturing a semiconductor device.
- The method involves migrating a circuit design from one semiconductor process technology to another.
- The circuit design is represented by netlists, which are stored on a computer-readable medium.
- The migration process includes generating versions of the netlists for both the first and second process technologies.
- Selected components in the netlists are abstracted to form new versions of the netlists.
- A logic equivalence check is performed between the new versions of the netlists to identify any errors in the migration process.
- The second version of the netlist is revised to reduce the migration errors.
- The result is a third version of the netlist, which can be used for manufacturing the semiconductor device.
Original Abstract Submitted
A method (of manufacturing a semiconductor device) includes: migrating a circuit design from a first netlist corresponding with a first semiconductor process technology (SPT) to a second netlist corresponding with a second SPT, at least the second netlist being stored on a non-transitory computer-readable medium, the migrating including: generating first versions correspondingly of the first and second netlists; abstracting selected components in the first version of the second netlist and correspondingly in the first version of the second netlist to form corresponding second versions of the second and first netlists; performing a logic equivalence check (LEC) between the second versions of the first and second netlists, thereby identifying migration errors; and revising the second version of the second netlist to reduce the migration errors, thereby resulting in a third version of the second netlist.
