Matching Model for Planar Bulk Transistors With Halo Implantation