Beast code in Giters

log-when's repositories

RISC-V SoC designed by students in UCAS

Language:ScalaNOASSERTION000

Repository for chisel3 testers2 open alpha

Language:Scala000

Flexible Intermediate Representation for RTL

Language:ScalaApache-2.0000

Language:Scala000

Reads a state transition system and performs property checking

Language:C++GPL-3.0100

Chisel 3: A Modern Hardware Design Language

Language:ScalaApache-2.0000

A caravan equipped with API for creating bus protocols in Chisel with ease.

Language:ScalaApache-2.0000

Next generation cosa.

Language:C++NOASSERTION000

000

NOASSERTION000

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Language:C++NOASSERTION000

A generic parser and tool package for the BTOR2 format.

NOASSERTION000

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

NOASSERTION000

000

ucas疫情防控每日填报助手

Language:Python000

Machine learning resources，including algorithm, paper, dataset, example and so on.

Language:Python000