- 专利标题: System and method for determining hybrid-manufacturing process plans for printed circuit boards based on satisfiability modulo difference logic solver
-
申请号: US17023117申请日: 2020-09-16
-
公开(公告)号: US11244097B1公开(公告)日: 2022-02-08
- 发明人: Aleksandar B. Feldman , Morad Behandish , Johan de Kleer , Ion Matei , Saigopal Nelaturi
- 申请人: Palo Alto Research Center Incorporated
- 申请人地址: US CA Palo Alto
- 专利权人: Palo Alto Research Center Incorporated
- 当前专利权人: Palo Alto Research Center Incorporated
- 当前专利权人地址: US CA Palo Alto
- 代理机构: Park, Vaughan, Fleming & Dowler LLP
- 代理商 Shun Yao
- 主分类号: G06F30/337
- IPC分类号: G06F30/337 ; G06F115/12 ; G06F7/24 ; G06F111/04
摘要:
One embodiment can provide a system for determining a hybrid-manufacturing process plan for manufacturing a printed circuit board (PCB). During operation, the system can obtain a set of hybrid-manufacturing constraints. The set of hybrid-manufacturing constraints can include a set of primitives, a set of atoms, and an atom end-state vector. A primitive can represent an additive or a subtractive manufacturing process corresponding to one or more atoms of the PCB. An atom can correspond to a unit of spatial volume of the PCB. The system can determine a plurality of feasible hybrid-manufacturing plans based on the set of hybrid-manufacturing constraints. Each feasible hybrid-manufacturing plan can represent an ordering of the set of primitives satisfying the atom end-state vector. The system can determine costs for manufacturing the PCB using the plurality of feasible hybrid-manufacturing plans. The system can determine, based on the costs, an optimized hybrid-manufacturing plan for manufacturing the PCB.
信息查询