Double-precision Dual Mode Logic carry-save multiplier.
Raffaele De RosePaul RomeroMarco LanuzzaPublished in: Integr. (2019)
Keyphrases
- logic programming
- asynchronous circuits
- classical logic
- modal logic
- floating point
- precision and recall
- high precision
- hardware implementation
- probability theory
- probabilistic logic
- logic programs
- digital circuits
- machine learning
- proximal point algorithm
- database
- proof theory
- type ii
- predicate logic
- high recall
- nonmonotonic logics
- automated reasoning