Gradual Relaxation Techniques with Applications to Behavioral Synthesis.

Zhiru Zhang, Yiping Fan, Miodrag Potkonjak, Jason Cong

Browse the full ICCAD paper archive.