Mahyar Emami's repositories
constellation
A Chisel RTL generator for network-on-chip interconnects
BSD-3-Clause000
cva6-synth-sim
A fork of cva6 with a "synthesizable" testbench for verilator
Language:SystemVerilogNOASSERTION000
cs-550
EPFL's Formal Verification in Fall 2021
Language:TeX000
cs550-dudect
A modified version of DudeCT
Language:CMIT000
cs550-ct-verif
A fork of ct-verif
COM-503
Homework repository for COM-503 (Performance Evaluation) at EPFL
Language:TeX000
streamblocks_jenkins
streamblocks remote build with jenkins
Language:Python000
turnus
The core repository of TURNUS: a design space exploration and optimization framework for dynamic dataflow programs
GPL-3.0000
BSMAKER
Virtual Bit-Stream Maker
Language:C++000
BLIFMaker
A dot to BLIF converter
Language:C++000
Language:Scala000