System-level verification-a comparison of approaches | IEEE Conference Publication | IEEE Xplore