Open access

Transfer-Resource Graph and Petri-net for System-on-Chip Verification

Written By

Xiaoxi Xu and Cheng-Chew Lim

Published: February 1st, 2010

DOI: 10.5772/7517

Chapter metrics overview

1,819 Chapter Downloads

View Full Metrics

Written By

Xiaoxi Xu and Cheng-Chew Lim

Published: February 1st, 2010