Noah, that sounds like no small undertaking. I would probably contact Yosys' creator and maintainer Claire Xen (https://twitter.com/oe1cxw) to see what would make sense in your approach or if similar work is already being undertaken