Semiclassical Analysis and Noncommutative Geometry