《淮南子·天文训》：“日出于 暘谷 ，浴于 咸池 ，拂于 扶桑 ，是谓晨明……至于 渊虞 ，是谓高舂。”

高诱 注：“ 渊虞 ，地名。高舂，时加戌，民碓舂时也。”

按，《楚辞·天问》“出自 汤谷 ” 宋 洪兴祖 补注引《淮南子》作“渊隅”。