Assassin: a synthesis system for asynchronous control circuits