Browsing Computer Science by Author "Beidu, Sandy"
Now showing items 1-1 of 1
-
Formal Verification of a Network on Chip
Beidu, Sandy (2009-12-12)Current advancement in VLSI technology allows more circuit to be integrated on a single chip forming a System on Chip (SoC). The state of art in on-chip intermodule connection of using a shared bus with a common arbiter ...