การทวนสอบ (Verification) นับเป็นกระบวนการสำคัญ ที่ใช้เพื่อตรวจสอบความถูกต้องของวงจรไทม์อะซิงโครนัส (timed asynchronous circuits) โดย timed trace theory เป็นวิธีสำหรับทำการทวนสอบวงจรไทม์อะซิงโครนัสโดยเฉพาะ ซึ่งในการทวนสอบนั้น จำเป็นจะต้องมีการสร้างอินพุตไฟล์ด้วย HDL (Hardware Description Language) ขึ้น เพื่อแสดงคุณลักษณะของวงจรและวงจร ทั้งนี้ โครงงานนี้ได้เคยมีผู้ทำการพัฒนามาแล้ว แต่ยังคงมีปัญหาเรื่องการสร้างอินพุตไฟล์ด้วย HDL อยู่ เนื่องจากการสร้างอินพุตไฟล์ด้วย HDL นั้น สามารถทำได้ยาก และต้องมีความรู้ความเข้าใจในเรื่อง Time Petri-net อย่างมาก ด้วยเหตุนี้ เครื่องมือสำหรับการพัฒนาไทม์เพรททิเน็ต (Time Petri-net Development Tool) จึงได้ถูกพัฒนาขึ้น เพื่อช่วยในการทวนสอบวงจรไทม์อะซิงโครนัส (timed asynchronous circuits) ให้ได้อย่างถูกต้อง แม่นยำ โดยเครื่องมือนี้สามารถวาดไทม์เพรททิเน็ต ซึ่งเป็นตัวแบบที่ใช้แทนคุณลักษณะของวงจรและวงจรได้ อีกทั้งยังสามารถสร้างอินพุตไฟล์ด้วย HDL จาก Time Petri-net ได้อีกด้วย โดย HDL ที่ได้จาก Time Petri-net นี้ จะสามารถถูกนำไปใช้ในการทวนสอบได้อย่างอัตโนมัติต่อไป
สถาบันส่งเสริมการสอนวิทยาศาสตร์และเทคโนโลยี (สสวท.) กระทรวงศึกษาธิการ เป็นหน่วยงานของรัฐที่ไม่แสวงหากำไร ได้จัดทำเว็บไซต์คลังความรู้ SciMath เพื่อส่งเสริมการสอนวิทยาศาสตร์ คณิตศาสตร์และเทคโนโลยีทุกระดับการศึกษา โดยเน้นการศึกษาขั้นพื้นฐานเป็นหลัก หากท่านพบว่ามีข้อมูลหรือเนื้อหาใด ๆ ที่ละเมิดทรัพย์สินทางปัญญาปรากฏอยู่ในเว็บไซต์ โปรดแจ้งให้ทราบเพื่อดำเนินการแก้ปัญหาดังกล่าวโดยเร็วที่สุด
The Institute for the Promotion of Teaching Science and Technology (IPST), Ministry of Education, a non-profit organization under the Thai government, developed SciMath as a website that provides educational resources in Science, Mathematics and Technology. IPST invites visitors to use its online resources for personal, educational and other non-commercial purpose. If there are any problems, please contact us immediately.
Copyright © 2018 SCIMATH :: คลังความรู้ SciMath. Terms and Conditions. Privacy. , All Rights Reserved.
อีเมล: This email address is being protected from spambots. You need JavaScript enabled to view it. (ให้บริการในวันและเวลาราชการเท่านั้น)