Awesome Project!

[ekiwi]

Hi Fabien, I got my Tang Nano 4K today and just tried out your project. Works flawlessly!
Thanks you so much for putting this together!

Once the yosys/nextpnr flow catches up and we can drop the GoWin IDE, this is going to be an awesome board.

Feel free to close this issue once you see it. Just wanted to say thank you.

[Martoni]

Thank you ekiwi :-)

My next two objectives with HDMI is :

• use pll directly instead of encrypted gowin IP. (Should be easy in my opinion)
• Transmit sound too. That should be much work to do.

Thanks again for this message.

[Martoni]

And of course, we could write Formal prove in chisel for this project :-)
Especially the module TmdsEncoder which is the core of this module.
It could be a good practice for Chisel Formal verification ;)

[ekiwi]

I gave it a shot: #2
Need to learn more about Tmds to actually write a sensible property though.

[Martoni]

Thank !
I will merge it and test it in my side. TMDS is not so easy to understand, I mainly copyied the vhdl-hdmi-out project and read the this doc for the explanation : https://docs.google.com/document/d/1v7AJK4cVG3uDJo_rn0X9vxMvBwXKBSL1VaJgiXgFo5A/edit#heading=h.s7e6dqkpk197