https://ncrmnt.org/2017/12/09/%d0%bf%d1%8b%d1%82%d0%b0%d0%b5%d0%bc%d1%81%d1%8f-%d1%81%d0%b4%d1%80%d1%83%d0%b6%d0%b8%d1%82%d1%8c-%d1%81%d0%b8%d0%bc%d1%83%d0%bb%d1%8f%d1%82%d0%be%d1%80%d1%8b-verilog-%d0%b8-ctest/?lang=ru
Пытаемся сдружить симуляторы Verilog и ctest