Ascent++
Search
Assertion list
interface
(
primary
)
→ IsA
Results from
Ascent++
:
4
interface
→
IsA
→
connection
0.51
interface
→
IsA
→
surface
0.30
interface
→
IsA
→
a multiplexor circuit
0.25
interface
→
IsA
→
circuit
0.25