Nadire Cavus / Subhi Rafeeq Mohammed Zeebaree / Zebari Dilovan Asaad Majeed
Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
Atualmente, os projectistas de circuitos lógicos digitais procuram obter o máximo de precisão possível para os circuitos projectados, com o mínimo de tempo consumido e, finalmente, com o mínimo de esforço possível. A superação de todos estes condicionalismos não pode ser conseguida através de abordagens tradicionais, mesmo quando se utilizam mapas de Karnaugh, especialmente quando se utilizam mais de 4 variáveis de entrada. O problema mais importante que os projectistas enfrentam é selecionar quais e como são possíveis as soluções óptimas, tendo em consideração a ordem das variáveis para decidir quantos circuitos lógicos digitais equivalentes podem ser extraídos do original. Este livro baseia-se na abordagem do Diagrama Binário de Decisão para representar de forma simbólica um conjunto de variáveis de entrada. É largamente utilizada no domínio da verificação formal. A ordenação das variáveis é um passo muito importante no processo de otimização do Diagrama de Decisão Binário. Uma boa ordenação das variáveis reduzirá consideravelmente o tamanho de um Diagrama de Decisão Binária. Esperamos que goste de ler o fruto dos nossos esforços e que este livro o ajude a obter uma perspetiva geral sobre os Diagramas de Decisão Binários.
