Sharing of Compressed Tests Among Logic Blocks.
Irith PomeranzPublished in: IEEE Trans. Very Large Scale Integr. Syst. (2023)
Keyphrases
- classical logic
- automated reasoning
- information sharing
- logic programming
- modal logic
- multi valued
- share information
- compressed domain
- data sharing
- dct coefficients
- data compression
- asynchronous circuits
- knowledge sharing
- defeasible logic
- digital circuits
- predicate logic
- truth values
- proof theory
- fractal image coding