Techniques for at-speed testing of VLSI ASIC designs | IEEE Conference Publication | IEEE Xplore