Paul Rigge

Results 53 comments of Paul Rigge

Is _verbose meant to be visible to subclasses? If so, that sounds like the right thing to do.

@shunshou I agree the Driver and logging interface need documentation, but I think that is an issue far outside the scope of this issue and project. There is now a...

Perhaps channels should have some configuration via attributes, e.g. ``` proc A { #[fifo(depth=1)] ch0: chan ... } ``` This is a bit tricky in practice as a channel member...

Some ideas about how to organize metadata in the IR: 1) Much of the metadata is "stage" oriented, e.g. registers in a stage, valid signals in a stage, etc. Each...

This exact IR was illustrative and didn't come from anywhere. The the situation could come about by a common DSLX style to overspecify token relationships `let tok = send(...); let...

For the barrier to be useful for a test, I think you need the ability to have a group of test actions that happen atomically wrt the dut, e.g. ```...

Note that module signature should likely reflect the hierarchy of multi-proc designs

One issue with the above proposal is where to bind the strictness: We have channels arise in the following ways - A chandecl, i.e. `let (...) = chan("name");` - A...