Stanford Novel Computing Systems (NCS) Lab

Popular repositories Loading

1. FUSE FUSEPublic

   Python 7

2. analog-verification analog-verificationPublic

   SystemVerilog 2

3. AnalogBenChmark AnalogBenChmarkPublic

   Verilog 1

4. msdsl-sympy msdsl-sympyPublic

   Forked from sgherbst/msdsl

   Automatic generation of real number models from analog circuits

   Python 1

5. dReal dRealPublic

   Automated Reasoning in Nonlinear Theories of Reals - Stanford Fork

   C++ 1

6. dReal-clang-tidy dReal-clang-tidyPublic

   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 …

   LLVM 1