search

clash-lang / clash-protocols

a battery-included library for dataflow protocols
Other
19 stars 7 forks source link

Introduce Protocols.Df.empty #108

Closed bgamari closed 2 months ago

bgamari commented 2 months ago

This combinator is both necessary for completeness and is useful for tying off unused inputs.

rowanG077 commented 2 months ago

Can this be implemented generically using idleCircuit?

Edit: I was actually thinking of https://github.com/cchalmers/circuit-notation/pull/25/files but that is not merged yet.

martijnbastiaan commented 2 months ago

(LGTM, also curious about idleCircuit)

bgamari commented 2 months ago

I will merge this as-is and add a variant which asserts Ack in a follow-up MR.

bgamari commented 2 months ago

Follow-up is https://github.com/clash-lang/clash-protocols/pull/111.