Search Results

105 Results

• Harry Foster - Siemens EDA

  Resource (Interview) - Dec 08, 2022 by Harry Foster

  Interview with Harry Foster of Siemens EDA about the surprising results from the 2022 Wilson Research Study and Osmosis' presentations.

• Holger Busch - Infineon

  Resource (Interview) - Dec 08, 2022 by Holger Busch - Infineon

  Interview with Holger Busch of Infineon about the origins of formal and how the presentations at Osmosis show how far formal verification has come.

• Katharina Ceesay-Seitz - ETH Zurich

  Resource (Interview) - Dec 08, 2022 by Katharina Ceesay-Seitz

  Interview with Katharina Ceesay-Seitz of ETH Zurich about the value of attending Osmosis.

• Philippe Luc - Codasip

  Resource (Interview) - Dec 08, 2022 by Philippe Luc - Codasip

  Interview with Philippe Luc of Codasip about his presentation on How formal lights up your RISC-V verification avenue .

• Saranyu Chattopadhyay - Stanford University

  Resource (Interview) - Dec 08, 2022 by Saranyu Chattopadhyay

  Interview with Saranyu Chattopadhyay of Stanford University about his presentation on Accelerator quick error detection: Verification of hardware accelerators .

• The State of Functional Verification: Crisis or Opportunity?

  Resource (Slides (.PDF)) - Dec 08, 2022 by Harry Foster

• The State of Functional Verification: Crisis or Opportunity?

  Resource (Recording) - Dec 08, 2022 by Harry Foster

• EC-FPGA Updates with an Introduction to Instance Mapping

  Resource (Slides (.PDF)) - Dec 08, 2022 by Kevin Urish

• EC-FPGA Updates with an Introduction to Instance Mapping

  Resource (Recording) - Dec 08, 2022 by Kevin Urish

• UPEC: Side Channel Detection with Formal Verification

  Resource (Recording) - Dec 08, 2022 by Keerthi Devraj

• UPEC: Side Channel Detection with Formal Verification

  Resource (Slides (.PDF)) - Dec 08, 2022 by Keerthi Devraj

• A Novel Approach to Formal FW/HW Co-verification

  Resource (Recording) - Dec 08, 2022 by Djones Lettnin

• A Novel Approach to Formal FW/HW Co-verification

  Resource (Slides (.PDF)) - Dec 08, 2022 by Djones Lettnin

• Crossing the RISC-V Customization Barrier with Formal

  Resource (Slides (.PDF)) - Dec 08, 2022 by Pascal Gouedo

• Crossing the RISC-V Customization Barrier with Formal

  Resource (Recording) - Dec 08, 2022 by Pascal Gouedo

• Accelerator Quick Error Detection: Verification of Hardware Accelerators

  Resource (Slides (.PDF)) - Dec 08, 2022 by Saranyu Chattopadhyay

• Accelerator Quick Error Detection: Verification of Hardware Accelerators

  Resource (Recording) - Dec 08, 2022 by Saranyu Chattopadhyay

• How Formal Lights Up Your RISC-V Verification Avenue

  Resource (Slides (.PDF)) - Dec 08, 2022 by Philippe Luc - Codasip

• How Formal Lights Up Your RISC-V Verification Avenue

  Resource (Recording) - Dec 08, 2022 by Philippe Luc - Codasip

• Formal Coverage: An Approach to Analyze Property Holes

  Resource (Recording) - Dec 08, 2022 by Aishwarya Sridhar

• Formal Coverage: An Approach to Analyze Property Holes

  Resource (Slides (.PDF)) - Dec 08, 2022 by Aishwarya Sridhar

• The X-factors of X-checking

  Resource (Slides (.PDF)) - Dec 08, 2022 by Kanthi Palaniappan

• The X-factors of X-checking

  Resource (Recording) - Dec 08, 2022 by Kanthi Palaniappan

• Make Formal Simple and Easy-to-Use with Generated Assertion IP

  Resource (Slides (.PDF)) - Dec 08, 2022 by Tobias Ludwig - Lubis EDA

• Make Formal Simple and Easy-to-Use with Generated Assertion IP

  Resource (Recording) - Dec 08, 2022 by Tobias Ludwig - Lubis EDA