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

HLS

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

Deploying HLS into a DO-254/ED-80 workflow

March 30, 2021

To remain competitive in a challenging market, avionics companies continue to innovate across all aircraft-related systems, including flight management, communication,…

By Jake Wiltgen
2 MIN READ
DVCon U.S. 2020

DVCon U.S. 2020

February 25, 2020

If you have not yet registered for DVCon U.S. 2020, you can do so here. If you have the time,…

By Dennis Brophy
3 MIN READ
The Many Flavors of Equivalence Checking: Part 1, Synthesis Validation with LEC and SLEC (a/k/a the Most Popular Formal Apps Ever)

The Many Flavors of Equivalence Checking: Part 1, Synthesis Validation with LEC and SLEC (a/k/a the Most Popular Formal Apps Ever)

July 11, 2019

In EDA, the word “simulation” is used everywhere: there is RTL and gate level simulation, analog simulation, RF simulation, and…

By Joe Hupcey III
5 MIN READ