LUBIS EDA
LUBIS EDA Launches FormalOS: Infrastructure for Systematic, Scalable Formal Verification
Discussion with Joseph Sawicki, Executive Vice President, Siemens Digital Industries Software, IC EDA, on new capabilities or tools, More than Moore, new architectures and more.
