A high-level fault modeling technique using CONES

A technique to automatically derive and inject meaningful internal faults of C-modeled primitives using a high-level synthesis tool, called CONES, is presented. The realistic internal faults are derived from an optimized two-level implementation of the functional primitives synthesized by CONES. The concept of a parameterized C-model is developed to introduce fault effects for fault simulation. This technique has been verified using AT&T´s in-house CAD tools. The experiments show fairly promising and interesting results