This story has an happy ending. We migrated to Efinix and survived.
Charles Papon is my hero.
I am pleased to give back this small contribution to the open source community which helped me survive.
Efinix devices are the only readily available FPGA in market to the common engineer (June 2022)
As engineers migrate to Efinix from vendor dependent designs (like designs in AHDL, designs that use proprietary modules, proprietary SoC like Nios ) SpinalHDL and SaxonSoc is a God sent savior. A solid reference code in SpinalHDL is the need of the hour.
Please check out this reference design to kick start your migration for survival:
SaxonSoc/readme.md at dev-0.3 · surabibio/SaxonSoc (github.com)
Ravi Ganesh