Skip to content

OBI - New Gnt-delay Covers

Eclipse Webmaster requested to merge github/fork/silabs-robin/obi_delay_covers into cv32e40s/dev

Created by: silabs-robin

This PR adds simple cover-properties for gnt-delays.

Reachable in formal. Compiles and runs without warning nor error in sim.

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent