A region-based theory for state assignment in asynchronous circuits.