Semi-classical mechanics in phase space: A study of Wigner’s function | Synapse