Experiments for paper 141 in submission to DAC 2024. Example to generate FT for FIFO It requires API_KEY = "<YOUR_API_KEY>" in autosva2.py python3 autosva2.py -f fifo2.v