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 ...