me & @mwk just shipped a new Intermediate Representation for #AmaranthHDL!
Amaranth's new IR is designed around an industry-leading netlist format taking into account everything we know about RTL, enabling both analyses and interoperability with other tools
it will be the basis for:
- CDC checking
- whole-design soundness checks
- faster and more reliable simulation, esp. of multiclock designs
and more!
Got inspired yesterday and wrote a double data rate transmitter and receiver in #amaranthHDL
Most interesting was to learn about clock domains to get a negative edge clock for the receiver part.
[ Video of an #amaranthHDL blink example being uploaded to a #chubby75 FPGA board via a #RP2040 #raspberryPiPico running #apolloFPGA ]
(edit: spelling)