1. Ashish Darbari is CEO of formal verification consultancy Axiomise.
    Expert Insight Doc Formal: Achieving exhaustive formal verification of packet-based designs

    Ashish Darbari breaks down formal’s value to this challenging verification task with code examples and reference to VC Formal from Synopsys.

  2. Expert Insight Managing waivers in reliability verification
  3. Expert Insight The budget case for formal verification


  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