An Approach for UIO Generation for FSM Verification and Validation.

D. Schin, Yinan N. Shen, Fabrizio Lombardi

Browse the full ISCAS paper archive.