Assertion list for term "produced by a diode encoding matrix".

Results from Ascent++: 1
bit ReceivesActionproduced by a diode encoding matrix 0.40