Assertion list
ghz (primary) → IsA
Results from Ascent++: 2
ghz → IsA → ultra-low voltage 0.33
ghz → IsA → the frequency 0.25