A Fast Locking Ring Oscillator Based Fractional-N DPLL With an Assistance From a LUT-Based FSM.
Zeeshan AliPallavi PaliwalRupesh LadDhanraj BhukyaShalabh GuptaPublished in: ISCAS (2022)
Keyphrases
- finite state machines
- sat solvers
- np complete
- concurrency control
- differential equations
- propositional logic
- fractional order
- lookup table
- hurst exponent
- inverse halftoning
- first order logic
- max sat
- search tree
- clause learning
- algebraic structure
- image quality
- object oriented database management systems
- database systems
- sat instances
- lower order
- proof procedure
- distributed databases
- davis putnam
- objective function