ASIC design validation in a system context | IEEE Conference Publication | IEEE Xplore