JoyOfHardware / Haskellator

Other
0 stars 0 forks source link

expand corpus with more representative examples #2

Open ThePerfectComputer opened 3 months ago

ThePerfectComputer commented 3 months ago

We want examples that:

ThePerfectComputer commented 2 months ago

You can generated interesting real world RTLIL examples from the amaranth-lang repo by doing something like the following:

git clone https://github.com/amaranth-lang/amaranth
cd amaranth
git checkout 69faf77
python3 -m venv .env
source .env/bin/activate
pip3 install git+https://github.com/amaranth-lang/amaranth@69faf77
cd examples/basic
python3 fsm.py generate -t il > fsm.rtlil
ThePerfectComputer commented 2 months ago

The basic idea here would be to comb through various RTLIL examples from the amaranth language repo and form a corpus. There are also various IPs implemented in Amaranth lang around the web that will lower to RTLIL that may be candidates for our language corpus. Such IP includes: