morenes Goto Github PK

aes

Github version of AES accelerator from opencores.org/projects/aes-128_pipelined_encryption

autocc

Methodology that leverages FPV to automatically discover covert channels in hardware that is time-shared between processes. AutoCC operates at RTL to exhaustively examine any machine state left by a process after a context switch that creates an execution difference.

autosva

AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made in the signal declaration section of an RTL module, generate liveness properties so that the module would eventually make forward progress.

awesome-opensource-hardware

List of awesome open source hardware tools, generators, and reusable designs

cva6

This is the fork of CVA6 intended for PULP development.

dcra

graphsim-simulator

infoart-android

Repository for the Android version of the infoArt App

infoart-ios

Repository for the iOS version of the infoArt App

infoart-server

Repository for the trajectory analysis in the server. It leverages ML to analyse the visitor’ trajectories to improve the exhibition’s design.

maple

MAPLE's hardware-software co-design allows programs to perform long-latency memory accesses asynchronously from the core, avoiding pipeline stalls, and enabling greater memory parallelism (MLP).

muchisim

Simulator framework for analysis of performance, energy consumption, area and cost of multi-node multi-chiplet tile-based manycore designs

multi_vscale

Verilog version of Z-scale (deprecated)

openpiton

The OpenPiton Platform

pdf-to-text

PDF to Text using Python PyPDF2

pong-hci

An HCI game developed in C# using Microsoft Surface Table 2.0. It involved QR-detected tangibles as game obstacles, gesture and voice recognition for power-ups, and light-tracking for paddle control. The user managed the game from an Android app that communicated with the Surface server.

tascade

tetris-mips

Tetris game programmed in MIPS assembly