ماشین ترتیبی
sequential machine
مدار ناهمگام
asynchronous circuit
خودکارافزار متناهی
finite automata
آزمون منطقی
logic testing
ماشین حالت محدود
finite state machine
ماشین حالت
logic CAD
طراحی منطقی رایانه‌ای