Question: DeepGate2 support for AIG files with latches

[pganguli]

The following line of code makes me believe that DeepGate2 currently does not support AIG circuit files with 1 or more latches:
https://github.com/Ironprop-Stone/python-deepgate/blob/cc91c1f7f9844aabf5d1a4f80b0ca0c5579a97ee/deepgate/utils/aiger_utils.py#L297

If that is indeed the case, is there any work in progress to extend support to circuits containing latches?

Thanks.

[zshi0616]

Dear Pganguli,
Sorry, we haven't support the AIG netlist with latch or any other sequential cells. If you want to employ deepgate2 to sequential circuit, one possible solution is extracting the combinational logic between FFs.

Thanks,
Stone