Asynchronous State Assignments with Unateness Properties and Fault-Secure Design
Dhiraj K. Pradhan · IEEE Transactions on Computers · 1978
Techniques to construct standard state assignments that yield unate next-state functions are presented. These proposed assignments use Berger codes. Further, it is also shown how to modify the so-called (2n + 1) type assignment for unateness. The modified assignments require 2[n + I + 1og2(n + 1)] variables Finally, a procedure to design fault-secure asynchronous networks is presented. The assignments proposed in this paper are shown to be useful for this design.