not allow testers for VerilogBackend