Hi everyone,
I'm currently a EE student and I'm interested in developing open source synthesis softwares.
While searching for information I found that BLIF(Berkeley Logic Interchange Format) was used as intermediate logic representation.
Is this format still used?
What are currently used internal formats in CAD softwares?
What kind of other formats should I consider to support when building open source softwares?