Searching for authors named "Peixin Zhong" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
FPGA-based SAT solver architecture with near-zero synthesis and layout overhead
- … to software implementations. 1. Introduction Peixin Zhong and Margaret Martonosi Department of Electrical…
- Cited by 1 (0 self) – Add To MetaCart
-
Using Reconfigurable Hardware to Customize Memory Hierarchies
- …Using Reconfigurable Hardware to Customize Memory Hierarchies Peixin Zhong and Margaret Martonosi…
- Cited by 1 (0 self) – Add To MetaCart
-
Implementing Boolean Satisfiability in Configurable Hardware
- …Implementing Boolean Satisfiability in Configurable Hardware Peixin Zhong Margaret Martonosi…
- Cited by 2 (0 self) – Add To MetaCart
-
Using Configurable Computing to Accelerate Boolean Satisfiability
- …1 Using Configurable Computing to Accelerate Boolean Satisfiability Peixin Zhong, Margaret…
- Cited by 8 (0 self) – Add To MetaCart
-
Accelerating Boolean Satisfiability with Configurable Hardware
- …Accelerating Boolean Satisfiability with Configurable Hardware Peixin Zhong, Margaret Martonosi…
- Cited by 36 (1 self) – Add To MetaCart
-
Using Reconfigurable Computing Techniques to Accelerate Problems in the CAD Domain: A Case Study with Boolean Satisfiability
- … with Boolean Satis ability Abstract Peixin Zhong, Pranav Ashar, Sharad Malik and Margaret Martonosi Princeton…
- Cited by 15 (3 self) – Add To MetaCart
-
Solving Boolean Satisfiability with Dynamic Hardware Configurations
- …Solving Boolean Satisfiability with Dynamic Hardware Configurations Peixin Zhong, Margaret…
- Cited by 7 (1 self) – Add To MetaCart
Showing 1 through 7.
