在今陕西勉县西北。孟蜀时，置寨以守剑北。《宋史·太祖纪》：乾德二年(964)，王全斌伐蜀，“下兴州，连拔石圌等二十余砦”。