modify intro;finish pipelining specification section