Jannis Harder 5142fb3b5c write_aiger: Fix non-$_FF_ FFs ...

This broke while switching sby's formal flows to always use $_FF_'s.

2022-08-18 13:56:22 +02:00

..

aiger.cc

write_aiger: Fix non-$_FF_ FFs

2022-08-18 13:56:22 +02:00

Makefile.inc

Add write_xaiger

2019-02-11 15:18:42 -08:00

xaiger.cc

sta: very crude static timing analysis pass

2021-11-25 17:20:27 +01:00