A Portable Co-Verification System Which Generates Testbench Automatically. - Takahito Nakajima; Shigeru Namiki; Shuhei Kinoshita; Naohiko Shimizu (FPT, 2007)