"Efficient testbench code synthesis for a hardware emulator system."

Ioannis Mavroidis, Ioannis Papaefstathiou (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics