Studying at the University of Verona
Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.
Study Plan
This information is intended exclusively for students already enrolled in this course.If you are a new student interested in enrolling, you can find information about the course of study on the course page:
Bachelor's degree in Bioinformatics - Enrollment from 2025/2026The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University.
Please select your Study Plan based on your enrollment year.
1° Year
| Modules | Credits | TAF | SSD |
|---|
Linear algebra and analysis
2° Year activated in the A.Y. 2025/2026
| Modules | Credits | TAF | SSD |
|---|
3° Year It will be activated in the A.Y. 2026/2027
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
Linear algebra and analysis
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
1 module among the following (Discrete Biological Models 2nd year, other modules 3rd year)1 module among the following (Elements of physiology and Biophysics 2nd year, Model organism in biotechnology research and Molecular biology laboratory 3rd year)Legend | Type of training activity (TTA)
TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.
Introduction to computer architecture (2024/2025)
Teaching code
4S008224
Credits
6
Language
Italian
Scientific Disciplinary Sector (SSD)
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Courses Single
Authorized
The teaching is organized as follows:
Teoria
Laboratorio
Learning objectives
The aim of the course is to provide the theory and practice to implement an algorithm in hardware, exploring a spectrum of options ranging from dedicated specialized devices to programs on a gene-ral-purpose processor. The students will understand how a processor works and how a high-level program is translated into machine language and then executed. At the end of the course, the students will be able to design specialized hardware for simple algo-rithms; translate simple programs from an high-level specification to machine language
Prerequisites and basic notions
No prerequisites
Program
Theory
------
- Information representation
- Binary representation of numbers: two's complement, fixed and floating point representation, hexadecimal notation
- Combinatorial circuits: truth tables, Boolean algebra and logic gates
- Axioms and theorems of Boolean algebra
- Incompletely specified functions
- Minterms, prime implicants, and essential implicants
- Logical minimization using Karnaugh maps
- Construction of combinatorial modules by structural design: rules, bit-wise logic gates, comparators, arithmetic modules, multiplexers, decoders, shifters
- Performance of a combinatorial module: literals, logic gates, area, delay
- Sequential circuits
- Finite state machines: state diagram, state table, transition table, synthesis of state and output update logic
- Memory cells and registers
- State minimization and its impact on logic synthesis
- Structural design of sequential modules: arithmetic-logical units and counters
- Controller/data-path approach
- Performance of sequential modules: area, delay, consumption
- Parallelism schemes: pipelines and farms
- Design methodologies of a digital system
- Architecture of a processor: control unit and execution unit
- Fetch-decode-execute cycle of an instruction
- Types of instructions and fundamental registers
- Interaction with input-output units
- Execution cycles of register addition operations, reading/writing from/to memory, jumping
- Implementation of an algorithm using dedicated hardware or software
Laboratory
----------
- Architecture of the LC-3 processor
- Writing programs in Assembly language for LC-3
Bibliography
Didactic methods
The course is organized in lectures, exercises and practical computer activities.
Learning assessment procedures
The exam consists of two parts:
- a written test containing questions and exercises related to Theory;
- a written programming test related to the machine language of the LC-3 architecture.
Evaluation criteria
To pass the exam, students must demonstrate that they:
- have understood the principles underlying the digital implementation of an algorithm;
- know how to perform exercises on the binary representation of numbers;
- know how to design simple combinatorial and sequential circuits;
- know how to write simple Assembly programs for LC-3.
Criteria for the composition of the final grade
The theory test grade contributes 3/4 of the final grade, and the programming test grade for LC-3 contributes 1/4.
Exam language
Italiano
