ARM, RISC-V контроллеры

ATPG софт дорого обычно стоит, и насколько я понимаю решает весьма примитивные задачи в книжке ASIC the Book. Smith - а
есть глава посвященая генерации тестов - но только для простых цепей