ผู้คนมองดูการวนซ้ำในวงจรบูลีนหรือไม่?


11

ในขณะที่ปริญญาตรี EE ฉันได้เข้าร่วมการบรรยายที่นำเสนอลักษณะที่ดีของวงจรบูลีนในแง่ของจำนวนลูปซ้อนกันที่พวกเขามี ในความซับซ้อนวงจรบูลีนมักจะคิดว่าเป็นวงจร แต่ในวงจรฮาร์ดแวร์จริงเป็นเรื่องธรรมดา ตอนนี้โมดูโล่ใช้เทคนิคบางอย่างเกี่ยวกับลูปคืออะไรและอะไรที่ประกอบเป็นลูปซ้อนการอ้างสิทธิ์นั้นโดยทั่วไปแล้วเพื่อที่จะนำไปใช้กับฮาร์ดแวร์ออโตเมชั่นหนึ่งต้องการลูปซ้อนกันสองลูป (ฉันอาจจะเลิกกับคนที่มีค่าเหล่านี้)

สองสิ่งที่รบกวนฉัน:

  1. ไม่มีอะไรเหมือนหลักฐานที่เป็นทางการ
  2. ฉันไม่เห็นสิ่งนี้ที่อื่น

ไม่มีใครตรวจสอบคำสั่งที่แม่นยำของประเภทนี้หรือไม่?

ค้นหาชื่อศาสตราจารย์ฉันพบเว็บเพจและหนังสือเล่มเล็ก ๆ(บทที่ 4)ที่พูดถึงอนุกรมวิธานนี้

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


บางทีนี่อาจเป็นวิธีที่ดีที่สุดในการกำหนดโครงสร้างการออกแบบวงจรดิจิตอลขนาดใหญ่ (เช่นเดียวกับการใช้รูทีนย่อยในโปรแกรมคอมพิวเตอร์ขนาดใหญ่) และไม่ใช่ขอบเขตล่างอย่างเป็นทางการใช่หรือไม่ (บทที่ 14 ของหนังสือที่คุณเชื่อมโยงมีทฤษฎีบทพร้อมบทพิสูจน์มากมาย แต่พวกเขาคิดว่าคุณทำตามหลักการบางอย่างในการออกแบบวงจรหรือไม่)
Jukka Suomela

1
Jukka อาจถูกต้อง นำตัวอย่างของ flip-flop (ระบบ one-loop) กับเครื่อง finite state (ระบบสองลูปตามปกตินำมาใช้) คุณไม่สามารถรวมตรรกะการเปลี่ยนแปลงเชิงผสมของ FSM (ซึ่งไม่มีลูป) ลงในลูปของฟลิปฟล็อปได้โดยตรงหรือไม่ แน่นอน FSM หนึ่งบิตไม่น่าสนใจมาก มันสามารถเป็นค่าคงที่หรือสลับกันทุกรอบ หลังเป็นของแน่นอนว่า T-flip-flop โดยมีขั้ว T เชื่อมต่อกับสาย 1 แต่ความคิดเดียวกันนี้ใช้ได้กับธนาคาร flip-flop
ต่อ Vognsen

คำตอบ:


5

คุณควรดูวิทยานิพนธ์ปริญญาเอก (เผยแพร่ในภายหลังเป็นเอกสาร) ของTomás Feder: เครือข่ายที่มีเสถียรภาพและกราฟผลิตภัณฑ์ซึ่งเขาศึกษาความซับซ้อนของการค้นหาการกำหนดค่าที่เสถียรของเครือข่ายซึ่งเป็นวงจรที่เหมือนกับ "ลูป" อย่างที่คุณพูดถึง

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.