High-level synthesis of bundled delay-insensitive circuits from occam program specifications using time-sharing