Anshuman Mohan

This PR resolves issue #309. Our code is [here](https://github.com/ayakayorihiro/cs6120-project).

Docs: refresh the page about the eDSL

1

After #1894 has landed, I'd like to take locks and revise the [eDSL docs](https://docs.calyxir.org/builder/ref.html?highlight=builder#builder-library-reference). Here is a non-exhaustive list: - [ ] I'm finding the introductory example a little confusing....

I have made progress on documenting the `static` qualifier, but have left out some advanced magic since it may belong elsewhere. @sampsyo has summed up the TODO nicely, so I'll...

Hoist redundant parallel actions

2

When working on the new slew of queues (FIFO, PIFO, PIFO Tree), I found myself doing the following refactoring by hand: ``` par ( ( if_case_1: action; additional_action_for_cases_1_and_2 ), (...

eDSL: `static_if_with`

2

Just putting a bookmark down for an interesting use case that has a potentially cute solution. We have already have: - `if_`, which generates a Calyx `if` with a port...

Queues: generalize PIFOs

2

At present our PIFOs can only handle: - Two flows. - A policy that attempts to give those two flows equal shares. These limitations of PIFOs also limit PIFO trees....

The clutch of queue-ey frontends (FIFO, PIFO, PIFO tree) need to be documented in https://docs.calyxir.org/

Because it looks like we won't do them right away, I am parking a few next steps for our SDN efforts. The basic theme here is to help the _stats_...

Systolic, NTT: use more helpers for cleaner eDSL code

7

Users of the eDSL frequently need to instantiate a cell and a combinational group that acts on that cell. These two items then need to passed around in tandem. Passing...

MrXL: allow different commands on the same memory to have different banking factors

8

This probably would have been picked up along the way to #1414 anyway, but I'd like it sooner for tutorial purposes (#1457). I currently cannot compile the following sum of...