Прогресс журнала Modelsim в выходной файл

Question

Я использую Modelsim для долгой симуляции. Я хочу иметь такой вывод для моего отчета о проделанной работе в файле:

Mon Oct 29 21:05:57 IRST 2018   Section 1 
Mon Oct 29 21:05:57 IRST 2018   Section 2 
Mon Oct 29 21:05:57 IRST 2018   Section 3
...

Я хочу иметь tcl-скрипт для создания этого вывода и записи его в файл во время процесса симуляции. У меня есть ниже фрагмент кода TCL:

set fp [open mylog.txt w]
puts $fp "Section 1"
close $fp

Он напечатает этикетку Section 1 внутри файла mylog.txt. Однако я не знаю, как вывести текущую системную дату и время в этот файл из командной строки modelsim (TCL). использование date >mylog.txt выведет дату / время в файл, однако, так как файл открыт, это приведет к искажению данных, и формат вывода будет не таким, как я описал выше. Существуют ли какие-либо методы для печати системных данных / времени в файл в сценариях TCL?

Answer 1

Вы можете использовать команду clock для различных целей, включая манипуляции с датой и временем. Чтобы получить текущую временную метку, вы можете использовать clock scan now (медленнее) или clock seconds (быстрее, кредит Schelte Bron в комментариях ), а затем clock format для форматирования из формат эпохи; например:

puts $fp "[clock format [clock seconds]] Section 1"