Computer Engineering / Bilgisayar Mühendisliği
Permanent URI for this collectionhttps://hdl.handle.net/11147/10
Browse
5 results
Search Results
Report Design Notes of Microprocessor U311.1(Izmir Institute of Technology, 2017) Ayav, TolgaThis handbook includes a part of the lecture notes of CENG 311 Computer Architecture course given in the undergraduate program of the Department of Computer Engineering at Izmir Institute of Technology. One aim of this course is to introduce the preliminaries of a general purpose microprocessor design. To this end, I aim to teach a very simple microprocessor which we call μ311.1 , an 16-bit processor with only 25 instructions. This document is intended to help the students with their laboratory works. In the experimental part of the course, students are expected to implement this or another similar processor using VHDL in order to attain a sufficient knowledge and intuition about “What is really happening inside a computer system?”. In other words, starting from typing printf("value:%d",*p); they must understand compiling, assembling, linking, loading the machine code and how processors execute this code. This document aims to give a very short and abstract answer to the above question. Students may find many parts missing, too short or incomplete. Nonetheless, I hope that this will be a good starting point for their deeper research as well as their study of computer architecture.Report Transforming Vhdl To Timed Automata(Izmir Institute of Technology, 2016) Ayav, Tolga; Tuğlular, Tuğkan; Belli, FevziThis report presents the transformation of behavioral VHDL programs to Timed Automata.Conference Object Design of a Secure Microprocessor(2010) Toker, Kadir Atilla; Ayav, TolgaThis work presents the prototype design of a secure microprocessor that executes encrypted programs. The aim of such a secure processor is to prevent programs from being copied; otherwise the encrypted programs will not run on ordinary platforms. The idea is demonstrated through a concrete design of a 16-bit soft processor, namely CryptOdin, along with the simulations and physical implementation on FPGA. This processor is expected to easily hide critical algorithms/programs without sacrificing the performance by the help of a dedicated decryption unit implemented in the processor.Conference Object Citation - Scopus: 2Towards Test Case Generation for Synthesizable Vhdl Programs Using Model Checker(Institute of Electrical and Electronics Engineers Inc., 2010) Ayav, Tolga; Tuğlular, Tuğkan; Belli, FevziVHDL programs are often tested by means of simulations, relying on test benches written intuitively. In this paper, we propose a formal approach to construct test benches from system specification. To consider the real-time properties of VHDL programs, we first transform them to timed automata and then perform model checking against the properties designated from the specification. Counterexamples returned from the model checker serve as a basis of test cases, i.e. they are used to form a test bench. The approach is demonstrated and complemented by a simple case study.Conference Object Model Based Testing of Vhdl Programs(Institute of Electrical and Electronics Engineers Inc., 2015) Ayav, Tolga; Tuğlular, Tuğkan; Belli, FevziVHDL programs are often validated by means of test benches constructed from formal system specification. To include real-time properties of VHDL programs, the proposed approach first transforms them to concurrently running network of timed automata and then performs model checking on properties taken from the specification. Counterexamples generated by the model checker are used to form a test bench. The approach is validated by a case study composed of a nontrivial application running on a microprocessor. As presented, the approach enables testing both hardware and software at once.