Search Results for author:
Found 3 papers, 1 papers with code
Addressing Variable Dependency in GNN-based SAT Solving
Boolean satisfiability problem (SAT) is fundamental to many applications.
In Search for a SAT-friendly Binarized Neural Network Architecture
Analyzing the behavior of neural networks is one of the most pressing challenges in deep learning.
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification
In contrast to the pre-accelerator era, when the ISA played an important role in verification by enabling a clean separation of concerns between software and hardware, verification of these "accelerator-rich" SoCs presents new challenges.
Hardware Architecture
Cannot find the paper you are looking for? You can
Submit a new open access paper.
