Zhihong Liu Bruce McGaughy James Z. Ma 182-187 2006 conf/dac/2006 DAC https://doi.org/10.1145/1146909.1146960 db/conf/dac/dac2006.html#LiuMM06