Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.
if you have an E expert in your team, you can choose E, otherwise, using others. E is too difficult to learn, especially there is no experienced engineer mentoring you.
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!:D
Both model/property checking and equivalence checking are formal verification technologies.
As I know, both lec and formality is equivalence checking tool. Which tools are used for model/property checking? Thanks
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.