STMicroelectronics’ case study comparing Cadence Jasper CSR formal app and UVM with Cadence Xcellium for register map verification. Metrics include: Time, code & functional coverage, and bugs found.
With 47% of organizations expected to utilize hybrid cloud bursting for design and/or verification in the next two years, Dean Drako shares his principles for successful execution.
Anirudh Devgan offers his detailed insights on computational software. He shares a clear definition of computational software, along with specific ways it is transforming system design & hardware design.
Prakash Narain discusses reset domain crossing fundamentals on eliminating bugs, compares RDC to CDC, and the power, performance, and area implications of certain design choices.
Dean Drako shares insights based on an industry survey on 5 key elements of multisite design & IP management, including IP reuse, design tapeout & resource predication, and cloud trends.
Prakash Narain discusses static sign-off fundamentals during the design process, including primary target domains and implementation techniques, plus a comparison of static sign-off vs. simulation & formal.
