Stepwise refinement of behavioral VHDL specifications by separation of synchronization and functionality | IEEE Conference Publication | IEEE Xplore