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.

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/2026

The 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

ModulesCreditsTAFSSD
12
C
CHIM/03 ,CHIM/06
6
A
FIS/01
English B2
6
E
-

2° Year  activated in the A.Y. 2025/2026

ModulesCreditsTAFSSD
12
B
INF/01
6
C
BIO/18

3° Year  It will be activated in the A.Y. 2026/2027

ModulesCreditsTAFSSD
Final exam
3
E
-
ModulesCreditsTAFSSD
12
C
CHIM/03 ,CHIM/06
6
A
FIS/01
English B2
6
E
-
activated in the A.Y. 2025/2026
ModulesCreditsTAFSSD
12
B
INF/01
6
C
BIO/18
It will be activated in the A.Y. 2026/2027
ModulesCreditsTAFSSD
Final exam
3
E
-
Modules Credits TAF SSD
Between the years: 2°- 3°
1 module among the following (Discrete Biological Models 2nd year, other modules 3rd year)
Between the years: 2°- 3°
1 module among the following (Elements of physiology and Biophysics 2nd year, Model organism in biotechnology research and Molecular biology laboratory 3rd year)
6
C
FIS/07
Between the years: 2°- 3°
Between the years: 2°- 3°
Further activities
3
F
-

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.




S Placements in companies, public or private institutions and professional associations

Teaching code

4S008224

Credits

6

Coordinator

Davide Quaglia

Language

Italian

Scientific Disciplinary Sector (SSD)

ING-INF/05 - INFORMATION PROCESSING SYSTEMS

Courses Single

Authorized

The teaching is organized as follows:

Teoria

Credits

5

Period

Semester 2

Academic staff

Davide Quaglia

Laboratorio

Credits

1

Period

Semester 2

Academic staff

Nicola Drago

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

Visualizza la bibliografia con Leganto, strumento che il Sistema Bibliotecario mette a disposizione per recuperare i testi in programma d'esame in modo semplice e innovativo.

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.

Students with disabilities or specific learning disorders (SLD), who intend to request the adaptation of the exam, must follow the instructions given HERE

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

Sustainable Development Goals - SDGs

This initiative contributes to the achievement of the Sustainable Development Goals of the UN Agenda 2030. More information on sustainability