3Payman ZarkeshHa, Meindi James D. Optimum on chip power distribution networks for gigascale integration [C]// Proceedings of the IEEE 2001 International Inter connect Technology Conference. Burlingame, CA, USA: IEEE,2001(6) : 125-127.
5Chen Hongyu, Wang Q, Mori M, et. al. Optimal Planning for Mesh--Based Power Distribution[C]// Proceedings of the ASP--DAC 2004. Asia and South Pacific Design Automtion Conference. N J, USA: IEEE, 2004 (1) :444--449.
6曾晓洋,郭小川.低功耗物理设计[D].北京:中国学位论文全文数据库,2007.
7Musgrave G etal. User Experience with High Level Formal Verification. In:ACM Proceedings of the35th Design Automation Conference.San Francisco : ACM, 1998 : 327.
8Barual Tuck..Deep Submicron Changes the Face of Verification[J].Computer Design, 1995 ( 10 ) : 20.
