A Fractional-N Counter-Assisted DPLL With Parallel Sampling ILFD.

Supeng Liu Yuanjin Zheng

Published in: IEEE J. Solid State Circuits (2016)

Keyphrases

parallel processing
real time
random sampling
sample size
propositional logic
parallel implementation
shared memory
markov chain
first order logic
massively parallel
distributed memory
parallel programming
propositional satisfiability
davis putnam logemann loveland
hurst exponent