tcs1.cspcasl revision adce8375991a372444ab995895442dca6faf9677
867N/Alogic CspCASL
369N/Aspec tcs1 =
369N/A data sort S, T
369N/A ops c: S; d: T
369N/A process
369N/A tcs1: S, T;
369N/A tcs1 = c -> SKIP || d -> SKIP
369N/A