Sheaf Quantization of Lagrangians and Floer cohomology