Inspec keywords: fault tolerant computing; circuit optimisation; finite state machines; power aware computing; sequential circuits

Other keywords: circuit area optimisation; sequential circuits; state assignment; fault tolerance; finite state machine; probability; power optimisation

Subjects: Performance evaluation and testing; Logic and switching circuits; Logic circuits; Logic design methods