Young-Il Kim Chong-Min Kyung TPartition: Testbench Partitioning for Hardware-Accelerated Functional Verification. 484-493 2004 21 IEEE Design & Test of Computers 6 http://doi.ieeecomputersociety.org/10.1109/MDT.2004.101 db/journals/dt/dt21.html#KimK04