PIMLC: Logic Compiler for Bit-Serial Based PIM.
Chenyu TangChen NieWeikang QianZhezhi HePublished in: DATE (2024)
Keyphrases
- random access memory
- programming language
- logic programming
- logical operations
- general purpose
- address space
- multi valued
- automated reasoning
- classical logic
- magnetic tape
- modal logic
- artificial intelligence
- logical framework
- asynchronous circuits
- neural network
- computational properties
- predicate logic
- block cipher
- deontic logic
- software systems
- knowledge representation
- level parallelism