Shengjie Xu

> As this PR is open since one year and a half. I would be pleased to status on it, and close it if nobody need this feature. @xushengj do...

@JeanRochCoulon I have rebased my changes in this PR. Most of the problems in my original message still exist. Anyway now the bitstream for Nexys Video board can be generated...

@JeanRochCoulon I think the errors were caused by the latest changes on the master branch. What I did was just rebasing my changes. Can you double check that?

This issue should be fixed by PR #567

I'm not the author but I hope my answer could help.. SVF takes LLVM bitcode (\*.bc) / text IR file (\*.ll) as input, so if you want to analyze an...