การปรับเวลาใหม่ (Retiming)เป็นเทคนิคการเคลื่อนย้ายตำแหน่งโครงสร้างของสลักหรือรีจิสเตอร์ในวงจรดิจิทัลเพื่อปรับปรุงประสิทธิภาพ พื้นที่ และ/หรือ ลักษณะ การใช้พลังงานในลักษณะที่ยังคงรักษาพฤติกรรมการทำงานที่เอาต์พุตไว้ การปรับเวลาใหม่นี้ได้รับการอธิบายครั้งแรกโดยCharles E. LeisersonและJames B. Saxeในปี 1983 ^{[ 1 ]}

เทคนิคนี้ใช้กราฟแบบมีทิศทางโดยที่จุดยอดแทนบล็อกคอมบิเนชันแบบอะซิงโครนัส และขอบแบบมีทิศทางแทนชุดของรีจิสเตอร์หรือแลตช์ (จำนวนรีจิสเตอร์หรือแลตช์อาจเป็นศูนย์) แต่ละจุดยอดจะมีค่าที่สอดคล้องกับความล่าช้าผ่านวงจรคอมบิเนชันที่มันแทน หลังจากนั้น เราสามารถพยายามปรับปรุงวงจรให้เหมาะสมที่สุดโดยการย้ายรีจิสเตอร์จากเอาต์พุตไปยังอินพุตและในทางกลับกัน – คล้ายกับการย้ายแบบบับเบิลพุชชิ่งสามารถใช้การดำเนินการสองแบบได้ คือ การลบรีจิสเตอร์ออกจากอินพุตแต่ละตัวของจุดยอดในขณะที่เพิ่มรีจิสเตอร์ไปยังเอาต์พุตทั้งหมด และในทางกลับกัน การเพิ่มรีจิสเตอร์ไปยังอินพุตแต่ละตัวของจุดยอดและลบรีจิสเตอร์ออกจากเอาต์พุตทั้งหมด ในทุกกรณี หากปฏิบัติตามกฎ วงจรจะมีพฤติกรรมการทำงานเหมือนเดิมก่อนที่จะปรับเวลาใหม่

การกำหนดปัญหาการปรับเวลาใหม่เบื้องต้นตามที่ Leiserson และ Saxe อธิบายไว้มีดังนี้ กำหนดให้กราฟแบบมีทิศทาง ซึ่งจุดยอดแทนเกตตรรกะหรือองค์ประกอบหน่วงเวลาแบบผสมในวงจร สมมติว่ามีขอบแบบมีทิศทางระหว่างองค์ประกอบสองตัวที่เชื่อมต่อกันโดยตรงหรือผ่านรีจิสเตอร์หนึ่งตัวขึ้นไป ให้ค่าน้ำหนักของแต่ละขอบเป็นจำนวนรีจิสเตอร์ที่อยู่ตามขอบในวงจรเริ่มต้น ให้เป็นการหน่วงเวลาการแพร่กระจายผ่านจุดยอดเป้าหมายในการปรับเวลาใหม่คือการคำนวณค่าหน่วงเวลา จำนวนเต็ม สำหรับแต่ละจุดยอดเพื่อให้ค่าน้ำหนักที่ปรับเวลาใหม่ของทุกขอบไม่เป็นลบ มีการพิสูจน์ว่าสิ่งนี้จะรักษาฟังก์ชันการทำงานของเอาต์พุตไว้^{[ 2 ]}${\displaystyle G:=(V,E)}$${\displaystyle e:=(u,v)}$${\displaystyle w(e)}$${\displaystyle e}$${\displaystyle d(v)}$${\displaystyle v}$${\displaystyle r(v)}$${\displaystyle w_{r}(e):=w(e)+r(v)-r(u)}$

ลดระยะเวลาของนาฬิกาให้น้อยที่สุดด้วยการไหลของเครือข่าย

การปรับเวลาที่พบบ่อยที่สุดคือการลดคาบเวลาของนาฬิกา ให้เหลือน้อยที่สุด เทคนิคอย่างง่ายในการปรับคาบเวลาของนาฬิกาให้เหมาะสมที่สุดคือการค้นหาคาบเวลาที่น้อยที่สุดที่เป็นไปได้ (เช่น การใช้การค้นหาแบบไบนารี )

สามารถตรวจสอบ ความเป็นไปได้ของคาบเวลาของนาฬิกาได้หลายวิธีโปรแกรมเชิงเส้นด้านล่างนี้เป็นไปได้ก็ต่อเมื่อเป็นคาบเวลาของนาฬิกาที่เป็นไปได้ ให้เป็นจำนวนรีจิสเตอร์ขั้นต่ำตามเส้นทางใดๆ จากไป(ถ้ามีเส้นทางดังกล่าวอยู่) และเป็นค่าหน่วงเวลาสูงสุดตามเส้นทางใดๆ จากไปที่มีรีจิสเตอร์ W(u,v) ตัว ปัญหาคู่ขนานของโปรแกรมนี้คือปัญหาการหมุนเวียนต้นทุนต่ำสุดซึ่งสามารถแก้ไขได้อย่างมีประสิทธิภาพในฐานะปัญหาเครือข่าย ข้อจำกัดของวิธีการนี้เกิดขึ้นจากการแจงนับและขนาดของเมทริกซ์และ${\displaystyle T}$${\displaystyle T}$${\displaystyle W(u,v)}$${\displaystyle u}$${\displaystyle v}$${\displaystyle D(u,v)}$${\displaystyle u}$${\displaystyle v}$${\displaystyle W}$${\displaystyle D}$

ที่ให้ไว้	${\displaystyle w(e),W(u,v),D(u,v)}$และช่วงเวลาเป้าหมายของนาฬิกา${\displaystyle T}$
หา	${\displaystyle r(v):V\to \mathbb {Z} }$
โดยที่
	${\displaystyle r(u)-r(v)}$	${\displaystyle \leq w(e)}$
	${\displaystyle r(u)-r(v)}$	${\displaystyle \leq W(u,v)-1}$ถ้า${\displaystyle D(u,v)>T}$

ลดระยะเวลาของนาฬิกาให้น้อยที่สุดด้วย MILP

อีกทางเลือกหนึ่ง ความเป็นไปได้ของช่วงเวลาของนาฬิกา สามารถแสดงได้ในรูปของ โปรแกรมเชิงเส้นจำนวนเต็มผสม(MILP) จะมีคำตอบและฟังก์ชันหน่วงเวลาที่ถูกต้องก็ต่อเมื่อช่วงเวลานั้นเป็นไปได้เท่านั้น${\displaystyle T}$${\displaystyle r(v)}$

ที่ให้ไว้	${\displaystyle w(e),d(v)}$และช่วงเวลาเป้าหมายของนาฬิกา${\displaystyle T}$
หา	${\displaystyle r(v):V\to \mathbb {Z} }$และ${\displaystyle R(v):V\to {\mathcal {R}}}$
โดยที่
	${\displaystyle r(v)-R(V)}$	${\displaystyle \leq -d(v)/T}$
	${\displaystyle R(v)-r(v)}$	${\displaystyle \leq 1}$
	${\displaystyle r(u)-r(v)}$	${\displaystyle \leq w(e)}$
	${\displaystyle R(u)-R(v)}$	${\displaystyle \leq w(e)-d(v)/T}$

การปรับจังหวะเวลา (Retiming) มีการนำไปใช้ในอุตสาหกรรมบ้างแล้ว แม้ว่าจะยังไม่แพร่หลายนัก ข้อเสียหลักคือการเข้ารหัสสถานะของวงจรถูกทำลาย ทำให้การดีบั๊ก การทดสอบ และการตรวจสอบทำได้ยากขึ้นอย่างมาก การปรับจังหวะเวลาบางครั้งอาจต้องใช้ตรรกะการเริ่มต้นที่ซับซ้อนเพื่อให้วงจรเริ่มต้นในสถานะเริ่มต้นที่เหมือนกัน สุดท้าย การเปลี่ยนแปลงในโครงสร้างของวงจรมีผลกระทบต่อขั้นตอนการสังเคราะห์เชิงตรรกะและทางกายภาพอื่นๆ ซึ่งทำให้การออกแบบเสร็จสมบูรณ์ได้ยาก

การจัดตารางเวลาแบบคลาดเคลื่อนของสัญญาณนาฬิกา (Clock skew scheduling) เป็นเทคนิคที่เกี่ยวข้องกับการปรับวงจรลำดับให้เหมาะสมที่สุด ในขณะที่การปรับเวลา (Retiming) เปลี่ยนตำแหน่งโครงสร้างของรีจิสเตอร์ การจัดตารางเวลาแบบคลาดเคลื่อนของสัญญาณนาฬิกาจะเปลี่ยนตำแหน่งเชิงเวลาของรีจิสเตอร์โดยการกำหนดเวลาการมาถึงของสัญญาณนาฬิกา ขีดจำกัดล่างของคาบเวลานาฬิกาขั้นต่ำที่ทำได้ของทั้งสองเทคนิคคือเวลาเฉลี่ยสูงสุดของวงจร (กล่าวคือ ความล่าช้ารวมของวงจรตามเส้นทางใดๆ หารด้วยจำนวนรีจิสเตอร์ตามเส้นทางนั้น)

• การสังเคราะห์ตรรกะ
• ระบบอัตโนมัติการออกแบบอิเล็กทรอนิกส์

• การนำเสนอเกี่ยวกับการปรับเวลาใหม่จาก MIT
• อัลกอริทึมการปรับเวลาการลงทะเบียนระดับเกตที่ปลอดภัยและสมบูรณ์แบบ