Hua Xiang Kai-Yuan Chao Ruchir Puri Martin D. F. Wong Is your layout density verification exact?: a fast exact algorithm for density calculation. 19-26 2007 conf/ispd/2007 ISPD http://doi.acm.org/10.1145/1231996.1232003 db/conf/ispd/ispd2007.html#XiangCPW07