Behavioural Modelling

Creation of a "Behavioural Model" of the system consisting of behavioural blocks each described with a high level description language.

Projects Using This Design Flow

Competition 2024
Competition: Collaboration/Education

IMPLEMENTATION OF FIXED TIME BASED TRAFFIC LIGTH SYSTEM USING FPGA WITH VERILOG HDL.
Reference Design
Active Project
High bandwidth expansion subsystem block diagram
SoClabs

High Bandwidth Expansion Subsystem
Collaborative
Request of Collaboration

Event-B to FPGA process flows

Experts and Interested People

Members

 
Name
Research Area
Formal System Development
Role
Lecturer
 
Name
Research Area
VLSI Digital Circuit Design
 
Research Area
Formal modelling
Role
Researcher

Related Project Milestones

Project Name Target Date Completed Date Description
IMPLEMENTATION OF FIXED TIME BASED TRAFFIC LIGTH SYSTEM USING FPGA WITH VERILOG HDL. Behavioural Modelling

abstract representation of the system 

ADC Integration in nanoSoC Behavioural Modelling

Model the analog behaviour of the subsystem and confirm it meets the requirements

Actions

Log-in to Add to Your Profile

Add new comment

To post a comment on this article, please log in to your account. New users can create an account.