LiteX: Add missing CPU-types

[acomodi]

PR https://github.com/SymbiFlow/symbiflow-examples/pull/111 adds various LiteX examples for arty-35 and arty-100.

Each example implements a different CPU core type, and #111 currently adds picorv32 and VecRiscv.

There are other CPU-types that can be implemented.

With fixes in the toolchain/tools

• minerva: This requires https://github.com/SymbiFlow/symbiflow-arch-defs/pull/1906 to be merged. The problem is that the minerva core has a yosys attribute which sets the top-level module to be the minerva core. With the -auto-top parameter when getting the hierarchy is used, the real top module gets discarded in favour of the minerva one.
• serv: There is a .vh file which makes yosys fail due to the fact that it cannot guess the frontend for it. To solve this we need to provide the -f verilog option when calling yosys. It should be fixed in symbiflow-arch-defs
• rocket: This currently fails during the VPR clean circuit step. The resulting synthesized design is big enough to let VPR consume all RAM available (16GB on my local machine) during the clean circuit step. This requires a proper fix in VPR

Requires some additional tools

• microwatt: This requires the usage of the VHDL plugin for yosys, as well as the powerpc64le-linux cross compilation toolchain.
• mor1kx: This requires the or1k-elf binariy to compile the bios
• lm32: This requires the lm32-elf binary to compile the bios
• cv32e40p: This core is written in SystemVerilog. Unsure if it is simple enough to get it through yosys

[mithro]

I have a spreadsheet @ https://docs.google.com/spreadsheets/d/1XTHfdYXuvwoYdPXm4M6qDA0D2fZCPy220-9q6qZpTw4/edit#gid=1326111379 -- maybe we should add a SymbiFlow tab?

Google Docs

LiteX BuildEnv Support

Board USB IDs Manufacturer,Board,Mode,Vendor ID,Product ID,Device ID,Serial Number,Chip,Notes,ftdi_channel,ftdi_device_desc,usb_string?,prog mode ????,dj_usb,prog,0x16c0,0x06ad,hw_dj_usb,FX2 1BitSquared,icebreaker,prog,0x0403,0x6010,FTDI,This is the programming interface channel. Has to be switc...