¿Cómo hacer que el read_rtl lo tire a ${logFile}.log?

ogarnica / TFG2020-21_RISC-V

Proyecto desarrollo chip RISC-V en tecnología STMicroelectronics

1 stars 1 forks source link

Closed ogarnica closed 3 years ago

ogarnica commented 3 years ago

El comando es: source ./scr/read_rtl.tcl > ${logFile}.log

ogarnica commented 3 years ago

No acabo de entender el problema. Al leer el titulo del issue, entiendo que no funciona el comando. ¿Es así?

ogarnica commented 3 years ago

El comando es

redirect ${logFile}.log {source read_rtl_swerv.tcl -echo -verbose} -tee