Chulalongkorn University Theses and Dissertations (Chula ETD)
การออกแบบและทวนสอบไมโครโพรเซสเซอร์ 32 บิต อาร์ม 7
Other Title (Parallel Title in Other Language of ETD)
Design and verification of the 32 bit microprocessor ARM7
Year (A.D.)
1999
Document Type
Thesis
First Advisor
อาทิตย์ ทองทักษ์
Faculty/College
Faculty of Engineering (คณะวิศวกรรมศาสตร์)
Degree Name
วิศวกรรมศาสตรมหาบัณฑิต
Degree Level
ปริญญาโท
Degree Discipline
วิศวกรรมคอมพิวเตอร์
DOI
10.58837/CHULA.THE.1999.850
Abstract
งานวิจัยนี้เป็นการออกแบบไมโครโพรเซสเซอร์ 32 บิต โดยใช้ภาษาในการออกแบบวงจรดิจิตอล HDL (Hardware Description Languages) อ้างอิงการทำงานตาม ARM7 ส่วน user mode ซึ่งให้สามารถสังเคราะห์เป็นวงจรได้ ในที่นี้ทำการออกแบบด้วยภาษา VHDL และเพื่อเป็นการตรวจสอบและยืนยันการทำงานให้ตรงกันรูปแบบที่กำหนดไว้ (Specification) จึงได้นำการทวนสอบมาประยุกต์ใช้ในงานวิจัยนี้สามารถแบ่งการทวนสอบออกได้เป็น 2 ส่วนคือ การทวนสอบโดยการใช้วิธีการจำลองการทำงาน (Simulation-based verification) ในระดับของเกต (Gate-level) และการใช้การทวนสอบอย่างมีแบบแผน (Formal Verification) เพื่อยืนยันความถูกต้องในระดับชิ้นส่วนย่อย (Component) ที่เป็นส่วนประกอบของโครงสร้างในไมโครโพรเซสเซอร์ ARM7
Other Abstract (Other language abstract of ETD)
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.
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Recommended Citation
สันติอมรทัต, วรรณรัช, "การออกแบบและทวนสอบไมโครโพรเซสเซอร์ 32 บิต อาร์ม 7" (1999). Chulalongkorn University Theses and Dissertations (Chula ETD). 63505.
https://digital.car.chula.ac.th/chulaetd/63505