在今河北涞水县西北。《水经·巨马水注》：紫石溪水“又径圣人城东，又东南右会檐车水。水出檐车硎，东南流径圣人城南，南流注紫石水，又南注于涞水”。