1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2023
A Semi-Tensor Product based Circuit Simulation for SAT-sweeping
Hongyang Pan, Ruibing Zhang, Yinshui Xia +4
In recent years, circuit simulators and Boolean satisfiability (SAT) solvers have been tightly integrated to provide efficient logic synthesis and verification. Circuit simulation…
cs.ET2016★ 1 cited
A Memristor Crossbar-Based Computation Scheme with High Precision
Junyi Li, Fulin Peng, Fan Yang +1
The memristor is promising to be the basic cell of next-generation computation systems. Compared to the traditional MOSFET device, the memristor is efficient over energy and area.…