search

drom / circt-fuzzer

Generator of random circuits
MIT License
4 stars 1 forks source link

ERROR: Failed to import cell (type $dff) to SAT database. #11

Open drom opened 3 years ago

drom commented 3 years ago 
ERROR: Failed to import cell $flatten\gate.$procdff$55 (type $dff) to SAT database.

Related:

https://github.com/YosysHQ/yosys/issues/1631