amaranth

amaranth copied to clipboard

Proof of concept PR for #1419. Can be tested with: ```python from amaranth import * from amaranth.lib import enum class MyEnum(enum.Enum, shape=3): GetX1 = 0 GetX2 = 1 GetX4 =...

whitequark

Allow accessing argument-less predicates on enum views without defining a custom view class

1

For example, this: ```python class SPIMode(amaranth.lib.enum.Enum, shape=2): Dummy = 0b00 Swap = 0b11 Put = 0b01 Get = 0b10 @property def has_output(self): return self in (SPIMode.Swap, SPIMode.Put) @property def has_input(self):...

whitequark

Add a `PortLike` that can be used in simulation to test designs which instantiate I/O buffers

1

This should definitely cover `io.Buffer` and `io.FFBuffer`, and potentially `io.DDRBuffer` (provided we can implement it in a way that doesn't cause horrors to happen).

whitequark

This should catch a common typo: `m.d.snyc += ...` or similar.

whitequark

VCD files do not display glitches and can get extremely confusing

2

Self-contained but not quite minimal reproducer: [repro.zip](https://github.com/user-attachments/files/15895758/repro.zip)

whitequark

`AttributeError` caused by `UnusedElaboratable` after an elaboratable has failed its initialization

1

Repro: ```python3 from amaranth import * from amaranth.lib import wiring from amaranth.hdl import Fragment class Foo(wiring.Component): def __init__(self, arg): if not isinstance(arg, int): raise TypeError self._arg = arg super().__init__({}) def...

jfng

Update install.rst to specify how to install board definitions

4

Source for this being the correct way: https://libera.irclog.whitequark.org/amaranth-lang/2023-09-21

cHemingway

This makes the only non-deprecated way to do I/O not be a pain when subsignals are involved. (thanks @meithecatte for the report)

wanda-phi

This makes the only non-deprecated way to do I/O not be a pain when subsignals are involved.

wanda-phi

A "must use" flag that can be put on signals that should not be left unconnected

1

This would be mainly stream's `ready` and `valid` signals, since if those are present, it is exceptionally rare that they should be left hanging, and this can cause hard to...

whitequark