testcases中的.net文件是如何获取的？ #2
Description
老师您好，最近学习了您的开源代码，已经熟悉了电路分割算法，现在还存在一些问题：
1.testcases中的.net文件定义了电路的连接关系，也是划分超图的基础，那么这个文件是如何获取到的呢，在网上查到的相关资料都是网表文件，具体内容和.net文件是有差别的
2.如何从一个.v代码得到一个.net文件呢？例如，我有一个.v代码，使用yosys工具进行了综合，能够输出aiger文件或者blif文件，这些文件是否能转化为.net文件
如有回复，非常感谢！