Real Intent formally verifies clock crossings

Formal verification provider Real Intent has announced Meridian, a new tool for clock domain crossing (CDC) verification that verifies both protocol and structure.