《三國演義》第一百回:曹真與司馬懿打賭,各守一谷等候蜀兵。陳式擅自進兵箕谷,兵馬損傷,被處斬。曹真被諸葛亮擊敗,一病不起,諸葛亮遣人送信往魏營,曹真看後氣死。諸葛亮四出祁山,與司馬懿鬥陣,魏軍大敗。司馬懿遣降将苟安散布流言,劉禅召諸葛亮回。