Synthesizable ADPLL Generator: From Specification to GDS.

Kyumin Kwon David D. Wentzloff

Published in: SMACD (2023)

Keyphrases

user friendly
phase locked loop
high level
formal methods
data sets
databases
image processing
low cost
user defined
formal verification
pseudorandom