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:

• A new scheduling method based on the Liapunov Move Frame Scheduling(LMFS).
• A technique and method for behavioral synthesis based on the notion of structural testability. The resulting design is structurally testable, and thus does not require extra register insertion for BIST. New allocation techniques for testable designs based on a graph technique and oninteger linear programming.
• A testability tradeoffs scheme which makes use of high level primitives, for removing unnecessary controllable and observable points by local modifications.