Assertion list
bit (aspect of byte ) → ReceivesAction

Results from Ascent++: 64
bitReceivesAction set 0.78
bitReceivesAction set to zero 0.62
bitReceivesAction ignored 0.57
bitReceivesAction sent 0.56
bitReceivesAction programmed 0.54
bitReceivesAction reserved 0.52
bitReceivesAction stored 0.52
bitReceivesAction written 0.51
bitReceivesAction numbered 0.51
bitReceivesAction read 0.51
bitReceivesAction processed 0.50
bitReceivesAction transmitted 0.49
bitReceivesAction cleared 0.47
bitReceivesAction enabled 0.46
bitReceivesAction shifted 0.45
bitReceivesAction reversed 0.44
bitReceivesAction used as flag 0.43
bitReceivesAction reserved for future use 0.43
bitReceivesAction dropped 0.42
bitReceivesAction hardcoded to zero 0.41
bitReceivesAction loaded 0.41
bitReceivesAction set to logic 0.41
bitReceivesAction toggled 0.41
bitReceivesAction transferred to the compression/… 0.41
bitReceivesAction discarded 0.40
bitReceivesAction allocated to each subchannel 0.40
bitReceivesAction retrieved 0.39
bitReceivesAction used as index 0.38
bitReceivesAction transferred 0.37
bitReceivesAction used to encode single character… 0.34
bitReceivesAction used to indicate the value 0.34
bitReceivesAction removed 0.33
bitReceivesAction transmitted per second 0.33
bitReceivesAction stored in memory cell 0.32
bitReceivesAction updated to be in sync 0.31
bitReceivesAction grouped in byte 0.29
bitReceivesAction lost 0.29
bitReceivesAction cleared by the firmware socket … 0.27
bitReceivesAction counted 0.27
bitReceivesAction encoded 0.27
bitReceivesAction flipped 0.27
bitReceivesAction moved 0.27
bitReceivesAction required in present embodiment 0.27
bitReceivesAction selected by byte_sel 0.27
bitReceivesAction specified in source 0.27
bitReceivesAction allocated 0.25
bitReceivesAction associated with individual page 0.25
bitReceivesAction compared 0.25
bitReceivesAction detected 0.25
bitReceivesAction discarded per second 0.25
bitReceivesAction discussed in detail hereinafter 0.25
bitReceivesAction inserted 0.25
bitReceivesAction loaded into the transmit shift … 0.25
bitReceivesAction masked 0.25
bitReceivesAction matched per second 0.25
bitReceivesAction shown 0.25
bitReceivesAction shown in table 0.25
bitReceivesAction specified by the src1 operand 0.25
bitReceivesAction summed 0.25
bitReceivesAction used in larger unit 0.25
bitReceivesAction used to identify each cluster 0.25
bitReceivesAction used to represent the amount of… 0.25
bitReceivesAction likely to fail 0.16
bitReceivesAction required 0.14