Menu

#2 Input format "BLIF", "EDIF", "PLA"

v1.0 (example)
open
None
5
2013-09-30
2013-09-30
Eduard
No

Hello everybody,

I'm looking for a way to use benchmark circuits in different formats with JavaBDD. With CUDD it was possible to import .blif files and then working with BBD's.
Do you have an idea for a solution with JavaBDD.

Discussion


Log in to post a comment.

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.