1. CUIR at Chulalongkorn University
  2. Faculty and Institute
  3. Faculty of Engineering - Eng
  4. Eng - Theses
Please use this identifier to cite or link to this item: https://cuir.car.chula.ac.th/handle/123456789/12152
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorอาทิตย์ ทองทักษ์-
dc.contributor.authorวรรณรัช สันติอมรทัต-
dc.contributor.otherจุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์-
dc.date.accessioned2010-03-11T04:48:15Z-
dc.date.available2010-03-11T04:48:15Z-
dc.date.issued2542-
dc.identifier.isbn9743337296-
dc.identifier.urihttp://cuir.car.chula.ac.th/handle/123456789/12152-
dc.descriptionวิทยานิพนธ์ (วศ.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2542en
dc.description.abstractงานวิจัยนี้เป็นการออกแบบไมโครโพรเซสเซอร์ 32 บิต โดยใช้ภาษาในการออกแบบวงจรดิจิตอล HDL (Hardware Description Languages) อ้างอิงการทำงานตาม ARM7 ส่วน user mode ซึ่งให้สามารถสังเคราะห์เป็นวงจรได้ ในที่นี้ทำการออกแบบด้วยภาษา VHDL และเพื่อเป็นการตรวจสอบและยืนยันการทำงานให้ตรงกันรูปแบบที่กำหนดไว้ (Specification) จึงได้นำการทวนสอบมาประยุกต์ใช้ในงานวิจัยนี้สามารถแบ่งการทวนสอบออกได้เป็น 2 ส่วนคือ การทวนสอบโดยการใช้วิธีการจำลองการทำงาน (Simulation-based verification) ในระดับของเกต (Gate-level) และการใช้การทวนสอบอย่างมีแบบแผน (Formal Verification) เพื่อยืนยันความถูกต้องในระดับชิ้นส่วนย่อย (Component) ที่เป็นส่วนประกอบของโครงสร้างในไมโครโพรเซสเซอร์ ARM7en
dc.description.abstractalternativeThis 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.en
dc.format.extent780719 bytes-
dc.format.extent772087 bytes-
dc.format.extent908548 bytes-
dc.format.extent923731 bytes-
dc.format.extent808806 bytes-
dc.format.extent769373 bytes-
dc.format.extent1238729 bytes-
dc.format.extent720539 bytes-
dc.format.extent1121933 bytes-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypeapplication/pdf-
dc.language.isothes
dc.publisherจุฬาลงกรณ์มหาวิทยาลัยen
dc.rightsจุฬาลงกรณ์มหาวิทยาลัยen
dc.subjectไมโครโปรเซสเซอร์en
dc.subjectดิจิตอลอิเล็กทรอนิกส์en
dc.subjectวีเอชดีแอล (ภาษาคอมพิวเตอร์)en
dc.titleการออกแบบและทวนสอบไมโครโพรเซสเซอร์ 32 บิต อาร์ม 7en
dc.title.alternativeDesign and verification of the 32 bit microprocessor ARM7en
dc.typeThesises
dc.degree.nameวิศวกรรมศาสตรมหาบัณฑิตes
dc.degree.levelปริญญาโทes
dc.degree.disciplineวิศวกรรมคอมพิวเตอร์es
dc.degree.grantorจุฬาลงกรณ์มหาวิทยาลัยen
dc.email.advisor[email protected], [email protected]-
Appears in Collections:Eng - Theses

Files in This Item:
File Description SizeFormat 
Wannarat_Su_front.pdf762.42 kBAdobe PDFView/Open
Wannarat_Su_ch1.pdf753.99 kBAdobe PDFView/Open
Wannarat_Su_ch2.pdf887.25 kBAdobe PDFView/Open
Wannarat_Su_ch3.pdf902.08 kBAdobe PDFView/Open
Wannarat_Su_ch4.pdf789.85 kBAdobe PDFView/Open
Wannarat_Su_ch5.pdf751.34 kBAdobe PDFView/Open
Wannarat_Su_ch6.pdf1.21 MBAdobe PDFView/Open
Wannarat_Su_ch7.pdf703.65 kBAdobe PDFView/Open
Wannarat_Su_back.pdf1.1 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.