cucapra/protocols

View on GitHub

New implementation of protocols

Stars: 15
Forks: 0
Open beginner issues: 0
Indexed issues: 40
Avg merge: 6h 20m
Merged PRs (30d): 15

Dominant language: Rust
License: MIT
Last GitHub push: Sep 8, 2026
Latest indexed: Sep 15, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Open All

40 open issues indexed

error messages if the DUT, transaction, and circuit are not compatible with eachother Open

enhancement

cucapra/protocols#51 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
generate struct definition from the verilog module inputted Open

enhancement

cucapra/protocols#68 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Expand `SymbolTable`s to include all transactions in a `.prot` file Open

enhancement

cucapra/protocols#83 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Change concrete syntax to use Rust-style `impl` method blocks Open

enhancement

cucapra/protocols#84 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Relaxer: create a compiler pass to insert DUT assignments for all pins after every step() call Open

Language Design

cucapra/protocols#107 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Check that the body of `while` & `repeat`-loops contains at least one `step` Open

Language Design

cucapra/protocols#123 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Extend language with `prot fn` keyword for marking top-level entry points (protocols) Open

enhancement

cucapra/protocols#128 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Adopt graph-based IR in the distant future Open

Language Design

cucapra/protocols#141 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Update well-formedness constraints to include combinational dependency violations Open

Language Design

cucapra/protocols#163 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Expressivity evaluation: compile Filament types to straight-line protocols Open

Language Design

cucapra/protocols#168 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Interp] Improve error message / diagnostics infrastructure Open

Chore

cucapra/protocols#178 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Rewrite `axi-stream-s2` protocols to use `repeat` loops and run them through interpreter Open

enhancement

cucapra/protocols#184 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
[Monitor] Double-check well-formedness of protocols for Brave New World bugs by running them through interpreter Open

Chore

cucapra/protocols#185 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Simplify testing infra / create centralized Python script that orchestrates Turnt Open

Chore

cucapra/protocols#191 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Monitor] Update Brave New World protocols to use internal DUT field names instead of those of the TB Verilog wrapper Open

Chore

cucapra/protocols#198 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
[lang] add `module` declarations and rename `struct` to `interface` Open

Language Design

cucapra/protocols#203 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Lang] Add a test case involving bit-vector concatenation Open

cucapra/protocols#204 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Lang] Add Boolean operators like `&&`, `||` Open

enhancement

cucapra/protocols#206 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Monitor] Defer constraint checks till `step` boundaries Open

enhancement

cucapra/protocols#214 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
[lang] the case for allowing arguments to appear in control flow conditions Open

Language Design

cucapra/protocols#217 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Monitor] Reactor to use `bi`'s `proto_trace.rs` interface to avoid memory blowup on long waveforms Open

Chore

cucapra/protocols#221 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Introduce `hide` qualifier for non-functional parameters + support anonymous `rand()` parameters Open

Language Design

cucapra/protocols#229 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[ir]: Refactor types representation to use a `TypeId` instead of a specialized `StructId` Open

Chore

cucapra/protocols#230 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
lang: two protocols with same name, defined over differents structs Open

cucapra/protocols#248 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add ASCII Waveform output to succeeding tests Open

cucapra/protocols#253 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Resurrect Roundtrip Open

cucapra/protocols#255 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Upstream the Runt Fork Open

cucapra/protocols#256 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
Check in CI that there are no .tx or wave files missing from the catalog Open

cucapra/protocols#258 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Graph Interpreter should evaluate actions in topological order Open

cucapra/protocols#260 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Disable Type Inference Info in test/serialization outputs Open

cucapra/protocols#263 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Improve ASCII Diffing for excluded tests Open

cucapra/protocols#265 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Better Representation of Assignments (maybe Value Summaries) Open

cucapra/protocols#268 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Efficient Trace Lowering Open

cucapra/protocols#276 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Rename --respect-forks to --trace-lowering Open

cucapra/protocols#279 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
If an InternalAsserFalse is guarded by an expression that is `AlwaysSat`, we can statically throw an error Open

cucapra/protocols#283 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
Add a reset annotation to protocols Open

cucapra/protocols#288 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Wishbone B4 pipelined Open

cucapra/protocols#290 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Optimize the Transition Systme Lowering Open

cucapra/protocols#292 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Wishbone SVA Evaluation Open

cucapra/protocols#300 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Check Expect files Open

cucapra/protocols#315 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026

cucapra/protocols

Get new issues in your inbox