XAUI (10-Gb attachment unit interface), System Packet Interface Level 4 (SPI-4.2), HyperTransport and Rapid I/O. The list goes on and on! At the end of the day, a robust toolbox of off-the-shelf I/Os ...
Mentor Graphics Corporation Abstract: In this case study we attempt to annotate a subset of OVL 2.0 checkers using equivalent SVA properties. In doing so, we define the equivalence between checkers, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback