Automatic Partitioner for Behavior Level Distributed Logic Simulation. - Kai-Hui Chang; Jeh-Yen Kang; Han-Wei Wang; Wei-Ting Tu; Yi-Jong Yeh; Sy-Yen Kuo (FORTE, 2005)