Hai Wang Hao Yu Sheldon X.-D. Tan Fast analysis of nontree-clock network considering environmental uncertainty by parameterized and incremental macromodeling. 379-384 2009 ASP-DAC http://doi.acm.org/10.1145/1509633.1509729 conf/aspdac/2009 db/conf/aspdac/aspdac2009.html#WangYT09