MÉTODOS E APLICATIVOS USANDO SATISFATIBILIDADE PARA OBTER UMA DESCRIÇÃO DE UM CIRCUITO EQUIVALENTE COMPOSTO DE SUBCIRCUITOS OTIMIZANDO UMA FUNÇÃO DE CUSTO
Patente de Invenção 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. Figura publicada pelo INPI na Revista da Propriedade Industrial.
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.
Histórico de despachos
Publicações na Revista da Propriedade Industrial (RPI).
Publicação do pedido de patente
#3.1
10/02/2026
RPI 2875
Pedido de patente depositado
#2.1
22/10/2024
RPI 2807
Requerimento de pedido de patente
#2.10
Número de Protocolo '870240064064' em 29/07/2024 16:48 (WB)
