Retargetable Compilation of Self-Test Programs Using Constraint Logic Programming

Retargetable Compiler Technology for Embedded Systems

“…This resulted in a very compact implementation (only about 25 % source code as compared to a traditional implementation in an imperative language). It has been integrated with logic synthesis, test pattern generation, and fault simulation tools [217]. For several simple target processors, a fault coverage between 95 and 99 % has been observed.…”