1. Accessed: 2024/04/21 09:07:02. ABC. https://people.eecs.berkeley.edu/ alanmi/abc/.
2. Accessed: 2024/04/21 09:07:02. Atalanta. https://github.com/hsluoyz/Atalanta.
3. Accessed: 2024/04/21 09:07:02. Synopsys TestMAX ATPG. https://www.synopsys.com/implementation-and-signoff/test-automation/testmax-atpg.html.
4. Accessed: 2024/04/21 09:07:02. Yosys Open SYnthesis Suite. https://yosyshq.net/yosys/.
5. J. Bannino, J.-F. Santucci, and D. Floutier. 1996. Hybrid neural model for automatic test pattern generation. Int’l Conf. on Electronics, Circuits, and Systems (ICECS) 1 (1996), 259–262 vol.1.