stuff related to hardware emulation