From: Yimin Zhang (gladiums_at_XXXXXXXX)
Date: Tue Nov 04 2003 - 06:11:29 MST
Dear Friend:
I want to make some expriments over ISCAS bechmark,checking whether OBDD can be used as a tools of diagnosis,but I have to modify the standard BLIF file for the purpose of diagnosis,for example:
An OR gate A,with x,y as primary inputs and z as primary output,if gate is correct then z=x+y(z=x¡Åy).But if input is 0 and 1,output is 0,then we conclude A is faulty,this can be formalized as:
AB(A)+(z=x+y) or ¦èAB(A)->(z=x¡Åy)
where AB(A) denoting A is abnormal,we do not care what the output of the gate A will be if A is faulty.i.e.,z is unknown if A is not correct. to achieve this , I should attach to each gate an addtional primary input,when this primary input is 1,the gate act normally,otherwise output of the gate is unknown,can vis accept such specification and construct the BDD for this kind of gate? maybe someone can help me.thanks anyway
Best regards,
Yimin Zhang
__________________________________________________
Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around
http://mail.yahoo.com
This archive was generated by hypermail 2.1.7 : Tue Nov 04 2003 - 06:13:20 MST