Direct synthesis of efficient speed-independent circuits from deterministic signal transition graphs | IEEE Conference Publication | IEEE Xplore