On-Chip Verification of NoCs Using Assertion Processors.

Mohammad Reza Kakoee, Mohammad Hossein Neishaburi, Masoud Daneshtalab, Saeed Safari, Zainalabedin Navabi

Browse the full DSD paper archive.