@liange1993
LGE 暂无简介
EpicSim is a Verilog compiler. It is suitable for use as a simulator
这里是一个github备份,最新的项目都在github上。
业界首款开源形式验证工具