| IP개요 |
AUX-SAT is a bidirectional SRAM-based MaxSAT hardware accelerator designed to overcome the limitations of existing SAT solvers by directly handling unsatisfiable (UNSAT) problems through a proprietary 16T dual-path Content-Addressable Memory (CAM) architecture. This innovative design allows for simultaneous clause evaluation and conflict analysis within a single clock cycle, significantly reducing computational latency while utilizing auxiliary variables to selectively manage conflicting clauses for optimal solution finding. Implemented using a Samsung 28nm LPP process, AUX-SAT targets high-density and high-performance applications in fields such as Electronic Design Automation (EDA) and Artificial Intelligence, providing a robust solution for real-world optimization challenges. |
