Communication based FPGA synthesis for multi-output Boolean functions.
Christoph SchollPaul MolitorPublished in: ASP-DAC (1995)
Keyphrases
- boolean functions
- functional decomposition
- uniform distribution
- prime implicants
- dnf formulae
- high speed
- threshold functions
- linear threshold
- bi decomposition
- relevant variables
- functional properties
- multi valued
- membership queries
- hardware implementation
- pseudo boolean functions
- agnostic learning
- upper bound
- binary decision diagrams
- communication protocol
- logic programs
- truth table