כלי תוכנה לסינתיזה של מעגלי בדיקה בו-זמניים על ידי תתי מעגלים בלתי תלויים

Software Tool for Synthesis of Concurrent Checking Circuits by Independent Sub-circuits
by Irina Stavrova & Yael Abada