| ชื่อเรื่อง | : | การออกแบบและทวนสอบไมโครโพรเซสเซอร์ 32 บิต อาร์ม 7 |
| นักวิจัย | : | วรรณรัช สันติอมรทัต |
| คำค้น | : | ไมโครโปรเซสเซอร์ , ดิจิตอลอิเล็กทรอนิกส์ , วีเอชดีแอล (ภาษาคอมพิวเตอร์) |
| หน่วยงาน | : | จุฬาลงกรณ์มหาวิทยาลัย |
| ผู้ร่วมงาน | : | อาทิตย์ ทองทักษ์ , จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์ |
| ปีพิมพ์ | : | 2542 |
| อ้างอิง | : | 9743337296 , http://cuir.car.chula.ac.th/handle/123456789/12152 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | วิทยานิพนธ์ (วศ.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2542 งานวิจัยนี้เป็นการออกแบบไมโครโพรเซสเซอร์ 32 บิต โดยใช้ภาษาในการออกแบบวงจรดิจิตอล HDL (Hardware Description Languages) อ้างอิงการทำงานตาม ARM7 ส่วน user mode ซึ่งให้สามารถสังเคราะห์เป็นวงจรได้ ในที่นี้ทำการออกแบบด้วยภาษา VHDL และเพื่อเป็นการตรวจสอบและยืนยันการทำงานให้ตรงกันรูปแบบที่กำหนดไว้ (Specification) จึงได้นำการทวนสอบมาประยุกต์ใช้ในงานวิจัยนี้สามารถแบ่งการทวนสอบออกได้เป็น 2 ส่วนคือ การทวนสอบโดยการใช้วิธีการจำลองการทำงาน (Simulation-based verification) ในระดับของเกต (Gate-level) และการใช้การทวนสอบอย่างมีแบบแผน (Formal Verification) เพื่อยืนยันความถูกต้องในระดับชิ้นส่วนย่อย (Component) ที่เป็นส่วนประกอบของโครงสร้างในไมโครโพรเซสเซอร์ ARM7 |
| บรรณานุกรม | : |
วรรณรัช สันติอมรทัต . (2542). การออกแบบและทวนสอบไมโครโพรเซสเซอร์ 32 บิต อาร์ม 7.
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย. วรรณรัช สันติอมรทัต . 2542. "การออกแบบและทวนสอบไมโครโพรเซสเซอร์ 32 บิต อาร์ม 7".
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย. วรรณรัช สันติอมรทัต . "การออกแบบและทวนสอบไมโครโพรเซสเซอร์ 32 บิต อาร์ม 7."
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย, 2542. Print. วรรณรัช สันติอมรทัต . การออกแบบและทวนสอบไมโครโพรเซสเซอร์ 32 บิต อาร์ม 7. กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย; 2542.
|
