ACM International Conference on Computer-Aided Design, November 2009. performance Analysis Problems and Techniques for RF Electronic Circuits and Optical Fiber Communication Systems, IEEE International Symposium on Circuits pictures; Systems, May 2007. IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems( TAU), February 2006. IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems( TAU), February 2006.