nakengelhardt Goto Github PK

abc9_script_opt

ABC9 script tuning by genetic algorithm

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

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.

edif-writer

faultinjection_mcy

Demo for using mcy for fault injection to verify a circuit with error-checking/correction capabilities

fpgagraphlib

kc705_riffa

mcy

Mutation Cover with Yosys (MCY)

migen

A Python toolbox for building complex digital hardware

mist

nmigen

A refreshed Python toolbox for building complex digital hardware

riffa_c_linux_x64

applications for use with riffa designs from kc705_riffa

symbiyosys

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

testingtesting123

Testing github features

util

utilities for virtmem & fpgagraphlib

yosys

Yosys Open SYnthesis Suite

yosys-bench

Benchmarks for Yosys development

yosys-f4pga-plugins

Plugins for Yosys developed as part of the F4PGA project.