A formal design methodology for synthesizing a clock signal with an arbitrary duty cycle of M/N.

Lulu Ge Chuan Zhang Zhiwei Zhong Xiaohu You

Published in: SiPS (2015)

Keyphrases

duty cycle
design methodology
formal specification
real time
design process
physical design
design methodologies
object oriented
fuzzy neural network
database
model checking
databases
neural network
image processing
pattern recognition
input output