TiC-SAT: Tightly-Coupled Systolic Accelerator for Transformers.
Alireza AmirshahiJoshua Alexander Harrison KleinGiovanni AnsaloniDavid AtienzaPublished in: ASP-DAC (2023)
Keyphrases
- tightly coupled
- fine grained
- general purpose
- satisfiability problem
- sat solvers
- loosely coupled
- sat solving
- propositional satisfiability
- sat problem
- search algorithm
- boolean satisfiability
- max sat
- stochastic local search algorithms
- stochastic local search
- high level
- compute intensive
- parallel implementation
- sat instances
- phase transition
- sat encodings
- search strategies
- partial discharge
- search problems
- intelligent systems
- web services