В старой версии tetramax ATPG мы использовали:
write_patterns pat.v -format VERILOG_Single_file -replace -parallel
Но в настоящее время он не поддерживается в Tetramax.
Как написать сценарий, эквивалентный ему, чтобы генерировать точно такие же файлы шаблонов.
Форматат должен быть verilog, а не WGL, STIL или других форматов.