In this paper, we present a methodology to performfast testing of the control path of self-timed circuits [91. The speedup is achieved by testing all the execution paths in the control simultaneously. The circuits considered in this paper are those designed using an OCCAM based circuit compiler . This Compiler translates an OCCAM pro gram description… (More)
We prove some common fixed point results for two pairs of weakly compatible mappings satisfying a general contractive condition without using the completeness of the space and continuity of maps.