1. Ashish Darbari is CEO of formal verification consultancy Axiomise.
    Expert Insight The budget case for formal verification

    Doc Formal sets out the 10 cost points in verification that formal will help you control and reduce.

  2. Expert Insight Formal fundamentals: what’s hiding behind your constraints
  3. Article Formal fault analysis for ISO 26262: Find faults before they find you


  1. PCI_Express_logo
    Article Tackling the design challenges of PCIe 5.0

    Moving up to PCIe 5.0 speeds demands rethinking everything from silicon design through choice of PCB material and connectors up to track layout and validation.

  2. Article How Channel Operating Margin helps Gigabit Ethernet PCB analysis
  3. Expert Insight The Wally Rhines interview – Part Two: AI, automotive and security


  1. Visual: cars speeding along a road
    Article Managing the evolving architecture of integrated ADAS controllers

    Designers need to understand how the architecture of electronic control units used to implement ADAS in vehicles is changing.

  2. Expert Insight Picking the right-sized crypto processor for your SoC
  3. Article Bringing Ethernet time-sensitive networking to automotive applications


  1. Expert Insight How emulation’s SoC and SoS advantages begin with transaction-based co-modeling

    An introduction to how virtual emulation has fueled the application of co-modeling for complex design verification.

  2. Expert Insight The impact of AI on autonomous vehicles
  3. Expert Insight How eFPGAs will help build the brave new world of AI



Synopsys Cadence Design Systems Mentor - A Siemens Business
View All Sponsors