Log in
Skip to content

Main Navigation

Blogs
  • Products
    • All Products
    • Additive Manufacturing Software
    • Aprisa
    • Capital
    • Catchbook
    • Custom IC
    • Design with Calibre
    • Digital Logistics
    • EDA Consulting Services
    • Electronic Systems Design
    • Fibersim
    • Hardware Assisted Verification
    • HLS Design & Verification Blog
    • Insights Hub
    • JT
    • Mendix
    • NX Design
    • NX Industrial Electrical Design
    • NX Manufacturing
    • Opcenter
    • Pave360
    • PLM Components
    • Polarion
    • Questa
    • Semiconductor Packaging
    • Service Lifecycle Management
    • Simcenter
    • Solid Edge
    • Teamcenter
    • Teamcenter Manufacturing
    • Tecnomatix
    • Tessent Solutions
    • Valor
    • 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
    • Cloud Talk Today
    • Digital Powers Flexible: Consumer Products Podcast
    • Digital Transformation Podcast
    • Energy Transformation Podcast
    • Engineer Innovation Podcast
    • Engineering the Future Workforce
    • Model Based Matters
    • Next Generation Design Podcast
    • On the Move: A Siemens Automotive Podcast
    • Pioneers: Startups from Dreams to Reality
    • Printed Circuit Podcast
    • Security by Design
    • Talking Aerospace Today Podcast
    • The Battery Podcast
    • The Industry Forward Podcast with Dale Tutt
    • The Marine Industry Podcast Series
    • The Voice of Smart Digital Manufacturing Podcast
    • Where Today Meets Tomorrow Podcast
    • German only Podcasts
    • Machinenbau Talk
  • Thought Leadership
    • All Thought Leadership
    • Digital Transformation
    • 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
    • Cre8Ventures (Siemens EDA)
    • EDA Support Blogs
    • Employee Spotlight
    • Partners
    • Realize LIVE
    • Siemens Xcelerator Academy
    • Siemens Xcelerator Software for Industry
    • Small & Medium Business
    • Xcelerator for Startups Videos
  • Community
  1. Home
  2. All Thought Leadership

Mars

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
  • Video
  • Webinar

Pro Tip: Planning to Land Your Spacecraft on Mars? You Will Need CDC, RDC, and Formal Property Checking

May 19, 2022

If you are an engineer at one of the growing number of entities looking to land a spacecraft on Mars…

By Joe Hupcey III
4 MIN READ