A Distributed Functional Verification Environment for the Design of System-on-Chip in Heterogeneous Architectures | IEEE Conference Publication | IEEE Xplore