Hardware/Software Co-Modeling of SAT Solver Based on Distributed Computing Elements using SystemC.

Jinwen Xi, Peixin Zhong

Browse the full ICCD paper archive.