Jun 27, 2006 #1 Q quan228228 Full Member level 4 Joined Mar 23, 2006 Messages 196 Helped 16 Reputation 32 Reaction score 3 Trophy points 1,298 Activity points 2,571 Hi, guys These days, i use the LEC tool to check logic equivalency. In mapping process, i found there are some registers not listed in mapped points or unmapped points which are in revised netlists in fact. I want to know why this occurs? Thanks in advance! /David
Hi, guys These days, i use the LEC tool to check logic equivalency. In mapping process, i found there are some registers not listed in mapped points or unmapped points which are in revised netlists in fact. I want to know why this occurs? Thanks in advance! /David
Jun 27, 2006 #2 S spauls Advanced Member level 2 Joined Dec 17, 2002 Messages 524 Helped 26 Reputation 52 Reaction score 9 Trophy points 1,298 Activity points 3,355 This is because Logic Cone is empty on the other way side in any of RTL/Netlist so LEC will not understand the circuit.
This is because Logic Cone is empty on the other way side in any of RTL/Netlist so LEC will not understand the circuit.
Jun 27, 2006 #3 Q quan228228 Full Member level 4 Joined Mar 23, 2006 Messages 196 Helped 16 Reputation 32 Reaction score 3 Trophy points 1,298 Activity points 2,571 to spauls: Could you give me some detailed information about "logic cone is empty". And how to handle this problem. Another question is should i add the unreachable points to mapped points before comparing? Regards I am very appreciative of giving me information by anyone. /David
to spauls: Could you give me some detailed information about "logic cone is empty". And how to handle this problem. Another question is should i add the unreachable points to mapped points before comparing? Regards I am very appreciative of giving me information by anyone. /David
Jun 28, 2006 #4 Q quan228228 Full Member level 4 Joined Mar 23, 2006 Messages 196 Helped 16 Reputation 32 Reaction score 3 Trophy points 1,298 Activity points 2,571 anybody here can help me?
Jun 28, 2006 #5 S spauls Advanced Member level 2 Joined Dec 17, 2002 Messages 524 Helped 26 Reputation 52 Reaction score 9 Trophy points 1,298 Activity points 3,355 hello quan228228 , Could you give me some detailed information about "logic cone is empty". And how to handle this problem. Click to expand... Logic cone empty means PI is not utilized and transitive fo to PO is not correctly mapped. Another question is should i add the unreachable points to mapped points before comparing? Click to expand... Please search in RTL/Netlist for unreachable points , it is very easy. Mail me if you are still unclear.
hello quan228228 , Could you give me some detailed information about "logic cone is empty". And how to handle this problem. Click to expand... Logic cone empty means PI is not utilized and transitive fo to PO is not correctly mapped. Another question is should i add the unreachable points to mapped points before comparing? Click to expand... Please search in RTL/Netlist for unreachable points , it is very easy. Mail me if you are still unclear.
Jun 28, 2006 #6 Q quan228228 Full Member level 4 Joined Mar 23, 2006 Messages 196 Helped 16 Reputation 32 Reaction score 3 Trophy points 1,298 Activity points 2,571 Thanks, spauls. I understand . /David