slicoss: a hardware debugging question