search

hdl / awesome

A curated list of awesome resources for HDL design and verification
https://hdl.github.io/awesome
Creative Commons Zero v1.0 Universal
139 stars 18 forks source link

Add pono model checker #214

Closed tmeissner closed 3 years ago

tmeissner commented 3 years ago

This adds the Pono model checker.

umarcor commented 3 years ago

Thanks!