bassemsafieldeen Goto Github PK

bachelors_project

My bachelor's thesis at Ulm Uni

cmos_growth_simulation

Silvaco code for the Semiconductor Technology course project. We grow 180nm channel NMOS and PMOS, use them to make CMOS, and use that to make a NOT gate. (Contributors: Bassem Safieldeen, Karim Adel Shams)

distinguish_probability_distributions

distinguish_quantum_states

Formalizes Ogawa2001 https://arxiv.org/abs/quant-ph/0110125

entropy_and_reversible_catalysis

Formalizes https://arxiv.org/abs/2012.05573

field_zmodn_of_prime_n

fpaddersubtractor

32-bit Floating Point Adder Subtractor (my part for the Microcomputer Applications course project)

lean-and-videos

Combining the Lean theorem prover with video and sound

lean-tutorials

masters_project

My master's thesis at TU Delft

mips

VHDL code for a 5-stage pipelined MIPS processor on an FPGA. (contributers: Mina Michael, Hassan Ibrahim, Bassem Safieldeen, Omar el Awadi)

quantum-stein-lemma

qvantum-shannon-theory

Formalizes https://arxiv.org/abs/1106.1445

shannon-theory

spi

My part in the Digital Systems Design course project. Serial peripheral interface between two Spartan 3E FPGA kits

surface17

LIQUiD simulation of the Surface17 quantum error correction code