Please use this identifier to cite or link to this item:
https://cuir.car.chula.ac.th/handle/123456789/12152
| Title: | การออกแบบและทวนสอบไมโครโพรเซสเซอร์ 32 บิต อาร์ม 7 |
| Other Titles: | Design and verification of the 32 bit microprocessor ARM7 |
| Authors: | วรรณรัช สันติอมรทัต |
| Advisors: | อาทิตย์ ทองทักษ์ |
| Other author: | จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์ |
| Advisor's Email: | arthit@cp.eng.chula.ac.th, Arthit.T@Chula.ac.th |
| Subjects: | ไมโครโปรเซสเซอร์ ดิจิตอลอิเล็กทรอนิกส์ วีเอชดีแอล (ภาษาคอมพิวเตอร์) |
| Issue Date: | 2542 |
| Publisher: | จุฬาลงกรณ์มหาวิทยาลัย |
| Abstract: | งานวิจัยนี้เป็นการออกแบบไมโครโพรเซสเซอร์ 32 บิต โดยใช้ภาษาในการออกแบบวงจรดิจิตอล HDL (Hardware Description Languages) อ้างอิงการทำงานตาม ARM7 ส่วน user mode ซึ่งให้สามารถสังเคราะห์เป็นวงจรได้ ในที่นี้ทำการออกแบบด้วยภาษา VHDL และเพื่อเป็นการตรวจสอบและยืนยันการทำงานให้ตรงกันรูปแบบที่กำหนดไว้ (Specification) จึงได้นำการทวนสอบมาประยุกต์ใช้ในงานวิจัยนี้สามารถแบ่งการทวนสอบออกได้เป็น 2 ส่วนคือ การทวนสอบโดยการใช้วิธีการจำลองการทำงาน (Simulation-based verification) ในระดับของเกต (Gate-level) และการใช้การทวนสอบอย่างมีแบบแผน (Formal Verification) เพื่อยืนยันความถูกต้องในระดับชิ้นส่วนย่อย (Component) ที่เป็นส่วนประกอบของโครงสร้างในไมโครโพรเซสเซอร์ ARM7 |
| Other Abstract: | This research presents a design of microprocessor 32 bit using hardware description languages (HDL) compatible with ARM7 (user mode). That unit also can synthesize to be gate netlist. The microprocessor was designed using VHDL. This research presents methodology for microprocessor verification that conformed with specification. Functional verification can be accomplished through two basec approaches: simulation-based in gate-level and formal verification in component level. |
| Description: | วิทยานิพนธ์ (วศ.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2542 |
| Degree Name: | วิศวกรรมศาสตรมหาบัณฑิต |
| Degree Level: | ปริญญาโท |
| Degree Discipline: | วิศวกรรมคอมพิวเตอร์ |
| URI: | http://cuir.car.chula.ac.th/handle/123456789/12152 |
| ISBN: | 9743337296 |
| Type: | Thesis |
| Appears in Collections: | Eng - Theses |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Wannarat_Su_front.pdf | 762.42 kB | Adobe PDF | View/Open | |
| Wannarat_Su_ch1.pdf | 753.99 kB | Adobe PDF | View/Open | |
| Wannarat_Su_ch2.pdf | 887.25 kB | Adobe PDF | View/Open | |
| Wannarat_Su_ch3.pdf | 902.08 kB | Adobe PDF | View/Open | |
| Wannarat_Su_ch4.pdf | 789.85 kB | Adobe PDF | View/Open | |
| Wannarat_Su_ch5.pdf | 751.34 kB | Adobe PDF | View/Open | |
| Wannarat_Su_ch6.pdf | 1.21 MB | Adobe PDF | View/Open | |
| Wannarat_Su_ch7.pdf | 703.65 kB | Adobe PDF | View/Open | |
| Wannarat_Su_back.pdf | 1.1 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.