Assertion list for term "driven by first and second clock signals".

Results from Ascent++: 1
microprocessor ReceivesActiondriven by first and second clock signals 0.25