search

leonardt / fault

A Python package for testing hardware (part of the magma ecosystem)
BSD 3-Clause "New" or "Revised" License
41 stars 13 forks source link

Add assume #276

Closed leonardt closed 4 years ago

leonardt commented 4 years ago

Similar to assert, used as an assumption by formal tools