convert .v to .bench

[blessing-lab]

I have successfully executed your PodemQuest project. Currently, I aim to incorporate additional circuits in the .bench format into this project. To achieve this, I attempted to utilize an open-source fault simulation tool to convert the .v format circuits from ISCAS85 and ISCAS89 benchmarks into the .bench format using Yosys. Unfortunately, this approach was unsuccessful. Subsequently, I located some open-source .bench format files and integrated them into the project; however, these also failed to function as expected. In light of these challenges, I am writing to inquire about the methodology you employed to generate the .bench format circuit files used in your project.