Logic Synthesis
Mostrando 25-26 de 26 artigos, teses e dissertações.
-
25. Analise e sintese de sistemas a eventos discretos via logica modal
The problem of verification of a specification and controller synthesis in a class of discrete event dynamic systems is addressed. We propose a new propositional modallogic, named NK logic, and we show that a set of formulas of this logic is completely equivalent to a set of equations written in the context of the theory of dioids. Therefore, a system descri
Publicado em: 1998
-
26. Contribuição a minimização e simulação de circuitos logicos
This work deals with some aspects related to synthesis, analysis and simplification of logic circuits. The boolean algebra is introduced through basic axioms, as well as the dalgorithm for fault detection studying logical circuits. For the minimization of boolean functions a procedure that yields a quasi-minimum cover to the functions is presented. It is bas
Publicado em: 1989