Pinned Repositories
avr
Reads a state transition system and performs property checking
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.
caravan
A caravan equipped with API for creating bus protocols in Chisel with ease.
chisel3
Chisel 3: A Modern Hardware Design Language
chiseltest
Repository for chisel3 testers2 open alpha
difftest
firrtl
Flexible Intermediate Representation for RTL
GCD
MachineLearning
Machine learning resources，including algorithm, paper, dataset, example and so on.
log-when's Repositories
log-when/avr
Reads a state transition system and performs property checking
log-when/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
log-when/btor2tools
A generic parser and tool package for the BTOR2 format.
log-when/caravan
A caravan equipped with API for creating bus protocols in Chisel with ease.
log-when/chisel3
Chisel 3: A Modern Hardware Design Language
log-when/chiseltest
Repository for chisel3 testers2 open alpha
log-when/difftest
log-when/firrtl
Flexible Intermediate Representation for RTL
log-when/GCD
log-when/MachineLearning
Machine learning resources，including algorithm, paper, dataset, example and so on.
log-when/NutShell
RISC-V SoC designed by students in UCAS
log-when/pono
Next generation cosa.
log-when/riscv-spec-core
log-when/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
log-when/ucas-covid19
ucas疫情防控每日填报助手
log-when/verif