Generate VCD file with difference name

[Chin Tsai]

Hello,Is there a way for a "make run-binary-debug" to generate VCD file with a name other than the name of executable? For example I want make run-binary-debug BINARY=test.riscvto generate TEST01.vcd instead of test.riscv.vcd
Thanks

[Jerry Zhao]

No. This is not supported from the `make run-binary` targets. You can do some shell scripting to automate this yourself.

-Jerry

On Mon, May 27, 2024 at 2:19 PM Chin Tsai <chin...@gmail.com> wrote:

Hello,Is there a way for a "make run-binary-debug" to generate VCD file with a name other than the name of executable? For example I want make run-binary-debug BINARY=test.riscvto generate TEST01.vcd instead of test.riscv.vcd
Thanks

--
You received this message because you are subscribed to the Google Groups "Chipyard" group.
To unsubscribe from this group and stop receiving emails from it, send an email to chipyard+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/chipyard/43176e23-b722-486b-8bc7-0388f82793acn%40googlegroups.com.