ERSFQ 8-bit Parallel Arithmetic Logic Unit.
Alexander KirichenkoIgor V. VernikM. Y. KamkarJ. WalterM. MillerL. R. AlbuOleg A. MukhanovPublished in: CoRR (2019)
Keyphrases
- bit parallel
- pattern matching
- micron cmos
- regular expressions
- quantifier free
- modal logic
- rewrite systems
- logical framework
- arithmetic operations
- floating point
- multiple valued
- classical logic
- proof theory
- nonmonotonic logics
- defeasible logic
- control unit
- deontic logic
- set theory
- data sets
- multi valued
- automated reasoning
- logic programming
- programming language
- genetic algorithm