MÉTODOS E APLICATIVOS USANDO SATISFATIBILIDADE PARA OBTER UMA DESCRIÇÃO DE UM CIRCUITO EQUIVALENTE COMPOSTO DE SUBCIRCUITOS OTIMIZANDO UMA FUNÇÃO DE CUSTO
Invention Patent MÉTODOS E APLICATIVOS USANDO SATISFATIBILIDADE PARA OBTER UMA DESCRIÇÃO DE UM CIRCUITO EQUIVALENTE COMPOSTO DE SUBCIRCUITOS OTIMIZANDO UMA FUNÇÃO DE CUSTO de INPLACE SOFTWARES PARA AUTOMAÇÃO LTDA — IPC G06F 30/337. Drawing published by the INPI in the Industrial Property Gazette.
Examination has not been requested yet. Without that request by 07/29/2027, the application is definitively abandoned (art. 33 of the Brazilian IP Act).
Deadline to request examination:07/29/2027(338 days left)
Latest action published by the INPI: 02/10/2026. We update with every new RPI gazette, published weekly.
MÉTODOS E APLICATIVOS USANDO SATISFATIBILIDADE PARA OBTER UMA DESCRIÇÃO DE UM CIRCUITO EQUIVALENTE COMPOSTO DE SUBCIRCUITOS OTIMIZANDO UMA FUNÇÃO DE CUSTO. A invenção aqui apresentada consiste em métodos e aplicativos usando satisfatibilidade para obter uma descrição de um circuito equivalente composto de subcircuitos otimizando uma função de custo. Os métodos e aplicativos são voltados para a área de automação de projeto eletrônico e podem ser aplicados em ferramentas de automação do projeto eletrônico, principalmente circuitos integrados digitais.
Prosecution history
Publications in the Brazilian Industrial Property Gazette (RPI).
Publicação do pedido de patente
#3.1
02/10/2026
RPI 2875
Pedido de patente depositado
#2.1
10/22/2024
RPI 2807
Requerimento de pedido de patente
#2.10
Número de Protocolo '870240064064' em 29/07/2024 16:48 (WB)
