ArChiVED: Architectural checking via event digests for high performance validation | IEEE Conference Publication | IEEE Xplore