N. Engelhardt's repositories
abc9_script_opt
ABC9 script tuning by genetic algorithm
faultinjection_mcy
Demo for using mcy for fault injection to verify a circuit with error-checking/correction capabilities
fdf24-examples
Code for the examples used in my FDF 2024 talk "Assertion-Based Formal Debugging During RTL Development"
riffa_c_linux_x64
applications for use with riffa designs from kc705_riffa
btor2tools
A generic parser and tool package for the BTOR2 format.
core-v-verif
Functional verification project for the CORE-V family of RISC-V cores.
dw-free
Dreamwidth's open source repository
dw-nonfree
The unlicensed portion of Dreamwidth's code.
mcy
Mutation Cover with Yosys (MCY)
migen
A Python toolbox for building complex digital hardware
nmigen
A refreshed Python toolbox for building complex digital hardware
SymbiYosys
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
testingtesting123
Testing github features
yosys
Yosys Open SYnthesis Suite
yosys-bench
Benchmarks for Yosys development
yosys-f4pga-plugins
Plugins for Yosys developed as part of the F4PGA project.