Eprvcd: Dump event nodes in VCD format

General Form:

eprvcd node1 node2 .. noden [ > filename ]

Dump the data of the specified event driven nodes to a .vcd file. Such files may be viewed with an vcd viewer, for example gtkwave. See edisplay, eprint, eprvcd, and 27.2.2 for an example.