Search
Now showing items 1-1 of 1
Formal Verification of a Network on Chip
(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 ...