An efficient implementation of Boolean functions nd finite state machine as self-timed circuit.
Llana DavidRan GinosarMichael YoeliPublished in: SIGARCH Comput. Archit. News (1989)
Keyphrases
- boolean functions
- functional decomposition
- finite state machines
- digital circuits
- uniform distribution
- threshold functions
- truth table
- binary decision diagrams
- relevant variables
- circuit design
- logic circuits
- finite state automata
- high speed
- membership queries
- dnf formulas
- prime implicants
- model checking
- dnf formulae
- multi valued
- database
- linear threshold
- read once formulas
- relational databases