Formal Verification Ensures The Perseverance Rover Lands Safely On Mars - SemiEngineering

How clock domain crossing verification helped land a spacecraft on a challenging site.

By Joe Hupcey III and Kevin Campbell Safely landing a spacecraft anywhere on Mars is a complex, high-risk challenge. Even worse, the most scientifically interesting areas of the planet are guarded b… [+6548 chars]

full article...