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