發送短信 : Parallel computation of non-deterministic algorithms in VLSI /