Stanford Novel Computing Systems (NCS) Lab
Popular repositories Loading
-
-
-
-
fixture-analog-verification
fixture-analog-verification PublicForked from standanley/fixture
Library of templates for analog blocks and strategies to model them in a digital environment. Modified for novel computing systems lab analog-verification.
Python
-
Repositories
- dReal-clang-tidy Public
C++ static analysis tool for dReal that uses a graph-based solver over LLVM ASTs to validate floating-point rounding mode preconditions, detect contradictions, and generate structured JSON outputs for analysis.
ncsys-lab/dReal-clang-tidy’s past year of commit activity - ibex-lib Public Forked from ibex-team/ibex-lib
IBEX is a C++ library for constraint processing over real numbers.
ncsys-lab/ibex-lib’s past year of commit activity - FUSE Public
ncsys-lab/FUSE’s past year of commit activity - msdsl-sympy Public Forked from sgherbst/msdsl
Automatic generation of real number models from analog circuits
ncsys-lab/msdsl-sympy’s past year of commit activity - AnalogBenChmark Public
ncsys-lab/AnalogBenChmark’s past year of commit activity - analog-verification Public
ncsys-lab/analog-verification’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…