High-level synthesis techniques for functional test pattern executionInki HongDarko Kirovskiet al.1998Integration, the VLSI Journal