| ชื่อเรื่อง | : | การออกแบบและทวนสอบไมโครโปรเซสเซอร์ 32 บิต อาร์ม 7 |
| นักวิจัย | : | วรรณรัช สันติอมรทัต |
| คำค้น | : | DESIGNED , HARDWARE DESCRIPTION LANGUAGES , VERIFICATION , SIMULATION , FORMAL VERIFICATION , MICROPROCESSOR |
| หน่วยงาน | : | ฐานข้อมูลวิทยานิพนธ์ไทย |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2542 |
| อ้างอิง | : | http://www.thaithesis.org/detail.php?id=1082542001044 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | งานวิจัยนี้เป็นการออกแบบไมโครโปรเซสเซอร์ 32 บิต โดยใช้ภาษาในการออกแบบวงจรดิจิตอลHDL (Hardware Description Languages) อ้างอิงการทำงานตาม ARM 7 ส่วน user mode ซึ่งให้สามารถสังเคราะห์เป็นวงจรได้ ในที่นี้ทำการออกแบบด้วยภาษา VHDL และเพื่อเป็นการตรวจสอบและยืนยันการทำงานให้ตรงกับรูปแบบที่กำหนดไว้ (Specification) จึงได้นำการทวนสอบมาประยุกต์ใช้ในงานวิจัยนี้สามารถแบ่งการทวนสอบออกได้เป็น 2 ส่วนคือ การทวนสอบโดยการใช้วิธีการจำลองการทำงาน(Simulation-based verification) ในระดับของเกต (Gate-level) และการใช้การทวนสอบอย่างมีแบบแผน (Formal Verification) เพื่อยืนยันความถูกต้องในระดับชิ้นส่วนย่อย (Component) ที่เป็นส่วนประกอบของโครงสร้างในไมโครโปรเซสเซอร์ ARM 7 |
| บรรณานุกรม | : |
วรรณรัช สันติอมรทัต . (2542). การออกแบบและทวนสอบไมโครโปรเซสเซอร์ 32 บิต อาร์ม 7.
กรุงเทพมหานคร : ฐานข้อมูลวิทยานิพนธ์ไทย. วรรณรัช สันติอมรทัต . 2542. "การออกแบบและทวนสอบไมโครโปรเซสเซอร์ 32 บิต อาร์ม 7".
กรุงเทพมหานคร : ฐานข้อมูลวิทยานิพนธ์ไทย. วรรณรัช สันติอมรทัต . "การออกแบบและทวนสอบไมโครโปรเซสเซอร์ 32 บิต อาร์ม 7."
กรุงเทพมหานคร : ฐานข้อมูลวิทยานิพนธ์ไทย, 2542. Print. วรรณรัช สันติอมรทัต . การออกแบบและทวนสอบไมโครโปรเซสเซอร์ 32 บิต อาร์ม 7. กรุงเทพมหานคร : ฐานข้อมูลวิทยานิพนธ์ไทย; 2542.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
