SYNTEST : SYNthesis with self-TESTability

This page provides information about the SYNTEST program.


SYNTEST is a system for high-level SYNthesis with self-TESTability currently under development at Case Western Reserve University. The system comprises three major parts or tools: