Invention Grant
- Patent Title: System and method for determining hybrid-manufacturing process plans for integrated circuits based on satisfiability modulo difference logic solver
-
Application No.: US17023747Application Date: 2020-09-17
-
Publication No.: US11157672B1Publication Date: 2021-10-26
- Inventor: Aleksandar B. Feldman , Morad Behandish , Johan de Kleer , Ion Matei , Saigopal Nelaturi
- Applicant: Palo Alto Research Center Incorporated
- Applicant Address: US CA Palo Alto
- Assignee: Palo Alto Research Center Incorporated
- Current Assignee: Palo Alto Research Center Incorporated
- Current Assignee Address: US CA Palo Alto
- Agency: Park, Vaughan, Fleming & Dowler LLP.
- Agent Shun Yao
- Main IPC: G06F30/30
- IPC: G06F30/30 ; G06F30/337 ; G06F30/3323 ; G05B19/418 ; H05K3/00 ; G06F111/10 ; G06F119/18 ; G06F113/10

Abstract:
One embodiment of the present disclosure provides a system for determining a hybrid-manufacturing plan for manufacturing an integrated circuit (IC). During operation, the system can obtain a set of hybrid-manufacturing constraints for manufacturing the IC. The set of hybrid-manufacturing constraints can include a set of primitives, a set of atoms, and an atom end-state vector. An atom can correspond to a unit of spatial volume of the IC. A primitive can represent an additive, subtractive, or a mixed manufacturing process corresponding to one or more atoms of the IC. Next, the system can determine a plurality of feasible hybrid-manufacturing plans based on the set of manufacturing constraints. Each feasible hybrid-manufacturing plan can represent an ordering of the set of primitives that satisfies the atom end-state vector. The system can then determine costs for manufacturing the IC using the plurality feasible hybrid-manufacturing plans. The system can determine, based on the costs, an optimized hybrid-manufacturing plan for manufacturing the IC.
Information query