VLSI的动态功耗测试生成 - 金树泽 (Tongxin xuebao)