Screenshot 6 - SMV editor - "counter.smv" example.

Previous	Enlarge	Next