public link void OS_init(){} = driver.OS_init;
public link void SetHz(bit n1){} = driver.set_hz;
public link void SetUs(bit n1){} = driver.set_us;
public link void SetNs(bit n1){} = driver.set_ns;
public link void Start(){} = driver.start;
public link void Stop(){} = driver.stop;
