The Relevance of Formal Methods

Yet another Accellera call about the Unified Verification Methodology (UVM) is underway. My takeaway? Both EDA and user companies put such a premium on secrecy that a truly open development process is simply not possible. Based on its current trajectory, the EDA vendors appear to have the desire to have a preview of potential innovations before they may be shared with the Accellera committee. Why? Because the only people capable of discussing certain aspects, such as **log files** of EDA vendor tools are the vendors themselves.