Python script to transform a VCD file to wavedrom format - View it on GitHub