Lenny Truong

Validate input AST for user facing functions

4

I can take a stab at this when I get some time, but posting this now in case someone else is interested. Sometimes I pass in an incorrect AST to...

See original PR: https://github.com/leonardt/fault/pull/307 Opening a new one using an internal branch for CI.

Add analog type to magma for fault mixed signal types

2

Related discussion https://github.com/leonardt/fault/pull/231

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...