Onur Guzey Charles H.-P. Wen Li-C. Wang Tao Feng Hillel Miller Magdy S. Abadir Extracting a Simplified View of Design Functionality Based on Vector Simulation. 34-49 2006 conf/hvc/2006 Haifa Verification Conference http://dx.doi.org/10.1007/978-3-540-70889-6_3 db/conf/hvc/hvc2006.html#GuzeyWWFMA06