Simulating hardware structures in occam