Pinned Repositories
abc9_script_opt
ABC9 script tuning by genetic algorithm
edif-writer
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"
fpgagraphlib
kc705_riffa
mist
riffa_c_linux_x64
applications for use with riffa designs from kc705_riffa
util
utilities for virtmem & fpgagraphlib
nakengelhardt's Repositories
nakengelhardt/fpgagraphlib
nakengelhardt/kc705_riffa
nakengelhardt/abc9_script_opt
ABC9 script tuning by genetic algorithm
nakengelhardt/edif-writer
nakengelhardt/faultinjection_mcy
Demo for using mcy for fault injection to verify a circuit with error-checking/correction capabilities
nakengelhardt/fdf24-examples
Code for the examples used in my FDF 2024 talk "Assertion-Based Formal Debugging During RTL Development"
nakengelhardt/mist
nakengelhardt/riffa_c_linux_x64
applications for use with riffa designs from kc705_riffa
nakengelhardt/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
nakengelhardt/btor2tools
A generic parser and tool package for the BTOR2 format.
nakengelhardt/util
utilities for virtmem & fpgagraphlib
nakengelhardt/core-v-verif
Functional verification project for the CORE-V family of RISC-V cores.
nakengelhardt/dw-free
Dreamwidth's open source repository
nakengelhardt/dw-nonfree
The unlicensed portion of Dreamwidth's code.
nakengelhardt/mcy
Mutation Cover with Yosys (MCY)
nakengelhardt/migen
A Python toolbox for building complex digital hardware
nakengelhardt/nmigen
A refreshed Python toolbox for building complex digital hardware
nakengelhardt/SymbiYosys
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
nakengelhardt/testingtesting123
Testing github features
nakengelhardt/yosys
Yosys Open SYnthesis Suite
nakengelhardt/yosys-bench
Benchmarks for Yosys development
nakengelhardt/yosys-f4pga-plugins
Plugins for Yosys developed as part of the F4PGA project.