SOP expression coverage

Status
Not open for further replies.
A

Arnold

Member level 1
Joined
Dec 4, 2004
Messages
32
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,286
Activity points
262
sop expression evaluates to a constant

hi, anybody can give me an explanation of SOP expression coverage? I got this warning message from IUS55 coverage

ncelab: *W,COVSEC: (/export/home/xxx/prj/IP/uart/rtl/uart_dpll.v,115|22): SOP expression evaluates to a constant: not checked

thanks a lot!
 

sop expression

mayb one of ur product(os sop), evaluates to 0. am not sure...
 

ncelab covsec


Try: nchelp ncelab COVSEC

I believe SOP is for Sum-of-products, and being a coverage metric, any constnat can't be meaningfully covered.

HTH
Ajeetha
http://www.noveldv.com
 

Sum-Of-Products(SOP) the form of Boolean expression. As you might suspect, a Sum-Of-Products Boolean expression is literally a set of Boolean terms added (summed) together, each term being a multiplicative (product) combination of Boolean variables. An example of an SOP expression would be something like this: ABC + BC + DF, the sum of products "ABC," "BC," and "DF."
https://www.allaboutcircuits.com/vol_4/chpt_7/9.html

In your case SOP expression evaluates to a constant (for example: a + ~a =1).
 

Status
Not open for further replies.

Similar threads

Menu
Log in
Register
Cookies are required to use this site. You must accept them to continue using the site. Learn more…