Skip to content

write_aiger: Detect and error out on combinational loops#4140

Merged
jix merged 1 commit intoYosysHQ:masterfrom jix:writer_aiger_sccsJan 29, 2024

Commits

Commits on Jan 19, 2024