countis not connected to anything. Wonder if there's some connectivity issue in the netlist
-pvector brain the edif options. I remember seeing that somewhere but it must have gotten lost at some point. Weird that I didn't catch it in the tests. Is this exclusively for use with Vivado, or should it be set for other tools too?