fault
fault copied to clipboard
leonardt
A Python package for testing hardware (part of the magma ecosystem)
https://github.com/leonardt/fault/blob/f8373e14dfa96d1cab6676387e17202c10df16c4/fault/verilator_target.py#L21-L22 Also needs `import platform` again
Same reasoning as https://github.com/leonardt/fault/issues/166
Current code path for nutascii parse etc supports scipy as an optional dependency. For users without that dependency, we should skip the related tests (rather than report them as failures).
This means users can leverage both constrained random and CoSA to do tests. - [ ] Refactor lassen tests to use assume/guarantee for parametrized tests (should integrate https://github.com/leonardt/fault/tree/lassen-formal branch )...
We should consider what is generic for emulation target and what is specific to boards. We can leverage loam for board specific infrastructure. As a first step, we can target...
assumptions and guarantees can be compiled into immediate assertions using implications (or without if there are universal guarantees) the style of concurrent assumptions will require adding a notion of a...
This is a common pattern for working around long verilog parsing times, we should have a simple example of this (maybe using garnet) until we fix the parsing issues.
Show how to use for testing with cycle accurate models (also rename to cycle tester or something more specific)
It would be interesting to consider whether we can leverage formal to prove that Xs can't propagate.