Embedded Systems Lab : University of Florida

Embedded Systems Lab : University of Florida's repositories

Integrated Security Validation in RTL Models

Language:SMTApache-2.06 30

LFI Attack resistant FSM Encoding

Language:Python400

A simple qudit-based quantum language to graph parser.

Language:Rust2 20

Introduction about Embedded systems lab, University of Florida

A tutorial on Quantum Noise Characterization and Mitigation

Language:Jupyter Notebook100

An opinionated Quantum Toolbox

Language:JuliaMIT000

Simple set of assignments.

000

Simple beginner tutorial for Synopsys tool chain

Language:Verilog000

Generate security properties for Trusted Execution Environments

MIT000

Language:Jupyter Notebook000