Log in
Skip to content

Main Navigation

Blogs
  • Products
    • All Products
    • Additive Manufacturing Software
    • Aprisa
    • Capital
    • Catchbook
    • Custom IC Verification
    • Design with Calibre
    • Digital Logistics
    • EDA Consulting Services
    • Electronic Systems Design
    • Fibersim
    • HLS Design & Verification Blog
    • Insights Hub
    • JT
    • Mendix
    • NX Design
    • NX Industrial Electrical Design
    • NX Manufacturing
    • Opcenter
    • Pave360
    • PCBflow
    • PLM Components
    • Polarion
    • Questa
    • Semiconductor Packaging
    • Service Lifecycle Management
    • Simcenter
    • Solid Edge
    • Teamcenter
    • Teamcenter Manufacturing
    • Tecnomatix
    • Tessent Solutions
    • Valor
    • Valor DFM Solutions
    • Zel X
  • Industries
    • All Industries
    • Aerospace & Defense
    • Automotive & Transportation
    • Consumer Products & Retail
    • Electronics & Semiconductors
    • Energy & Utilities
    • Heavy Equipment
    • Industrial Machinery
    • Marine
    • Medical Devices & Pharmaceuticals
  • Podcasts
    • All Podcasts
    • 3D IC
    • Additive Manufacturing Podcast
    • AI Spectrum
    • Digital Powers Flexible: Consumer Products Podcast
    • Digital Transformation Podcast
    • Energy Transformation Podcast
    • Engineer Innovation Podcast
    • Innovation in the Classroom Podcast
    • Model Based Matters
    • Next Generation Design Podcast
    • Pioneers: Startups from Dreams to Reality
    • Printed Circuit Podcast
    • Security by Design
    • Talking Aerospace Today Podcast
    • The Battery Podcast
    • The Future Car Podcast
    • The Marine Industry Podcast Series
    • The Voice of Smart Digital Manufacturing Podcast
    • Where Today Meets Tomorrow Podcast
  • Thought Leadership
    • All Thought Leadership
    • Embedded Software
    • Expert Insights
    • Simulating the Real World
    • The Art of the Possible
    • Thought Leadership
    • Verification Horizons
  • Corporate
    • All Corporate
    • Academic and Startups
    • AWS Partnership
    • Corporate Blog
    • Employee Spotlight
    • Partners
    • Realize LIVE
    • Siemens Xcelerator Academy
    • Siemens Xcelerator Software for Industry
    • Small & Medium Business
    • Xcelerator for Startups Videos
  • Community
  1. All Thought Leadership

security path verification

Filter by:
  • COCOTB
  • Customer Success Story
  • DO-254
  • Equivalence Checking
  • Events
  • Formal Analysis
  • FuSA
  • ISO 26262
  • Learning Resources
  • News
  • Product Updates
  • PYUVM
  • SYSTEMVERILOG
  • Tips & Tricks
  • UVM
  • Webinar

Part 1: The 2020 Wilson Research Group Functional Verification Study

November 5, 2020

In my previous blog, I introduced the 2020 Wilson Research Group Functional Verification Study (click here). The objective of my previous…

By Harry Foster
4 MIN READ
Part 7: The 2018 Wilson Research Group Functional Verification Study

Part 7: The 2018 Wilson Research Group Functional Verification Study

January 22, 2019

IC/ASIC Design Trends This blog is a continuation of a series of blogs related to the 2018 Wilson Research Group…

By Harry Foster
5 MIN READ
How Formal Techniques Can Keep Hackers from Leaving You in the Cold

How Formal Techniques Can Keep Hackers from Leaving You in the Cold

November 15, 2016

While internet connected vehicles remain a popular target for hackers, the new breed of “smart” devices have the potential to…

By Joe Hupcey III
5 MIN READ
How Formal Techniques Can Keep Hackers from Driving You into a Ditch, Part 2 of 2

How Formal Techniques Can Keep Hackers from Driving You into a Ditch, Part 2 of 2

August 18, 2015

In Part 1 of this series, inspired by security researchers that were able take over a new Jeep and drive…

By Joe Hupcey III
3 MIN READ
How Formal Techniques Can Keep Hackers from Driving You into a Ditch, Part 1 of 2

How Formal Techniques Can Keep Hackers from Driving You into a Ditch, Part 1 of 2

August 5, 2015

[Preface: everywhere it refers to automobiles in this post, you can also swap in “X-Ray machine”, “pacemaker”, and “aircraft”] The…

By Joe Hupcey III
3 MIN READ