SPICE-like Circuit Simulator, for Transient Analysis, DC/AC Sweep and Operating Point Analysis
☆29May 30, 2024Updated last year
Alternatives and similar repositories for CSIM
Users that are interested in CSIM are comparing it to the libraries listed below
Sorting:
- The official website of One Student One Chip project.☆11Feb 5, 2026Updated last month
- Summary of bugs in Xuantie C9XX core design. include C906/C908/C910/C920☆29Feb 10, 2026Updated last month
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- RTL code for the DPU chip designed for irregular graphs☆13May 30, 2022Updated 3 years ago
- Parallel sparse direct solver for circuit simulation☆49Jun 13, 2022Updated 3 years ago
- Starting from Attention, teaching the realization of VIT and other vision Transformer models hand in hand.☆13Nov 20, 2021Updated 4 years ago
- A tiny Python package to parse spice raw data files.☆53Dec 26, 2022Updated 3 years ago
- Combinatorial Multigrid Solver for SDD Matrices☆17Feb 21, 2024Updated 2 years ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated last month
- ☆21Mar 15, 2016Updated 10 years ago
- RV32I Open Source GPU☆14Feb 9, 2021Updated 5 years ago
- proof script associated to tutorial material☆17Oct 29, 2023Updated 2 years ago
- Convert hand-drawn electrical circuit diagrams to netlists. CircuitSense can be thought of as the equivalent of handwriting recognition f…☆19Feb 12, 2018Updated 8 years ago
- [FPGA 2024] Source code and bitstream for LevelST: Stream-based Accelerator for Sparse Triangular Solver☆15Jun 1, 2025Updated 9 months ago
- NSCSCC 2020 - Yet Another MIPS Processor☆14Aug 7, 2021Updated 4 years ago
- A simple http server to cache specific eth rpc requests in memory.☆16Aug 11, 2025Updated 7 months ago
- Linux-capable superscalar out-of-order RISC core (with Cache& MMU) and SoC, having been verified on Xilinx Kintex-7 FPGA.☆55Aug 14, 2024Updated last year
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- ☆22Apr 28, 2025Updated 10 months ago
- A Python parser for hSpice output files and documentation of the hSpice output file format☆23Jan 5, 2026Updated 2 months ago
- SPICE for the 21st Century☆37Dec 13, 2022Updated 3 years ago
- Code for the ISCAS23 paper "The Hardware Impact of Quantization and Pruning for Weights in Spiking Neural Networks"☆11Apr 20, 2023Updated 2 years ago
- Mathematics of Robotic Manipulation using Rocq and MathComp☆29Mar 12, 2026Updated last week
- Engineering Program on RTL Design for FPGA Accelerator☆33Aug 1, 2020Updated 5 years ago
- ☆26Dec 4, 2025Updated 3 months ago
- FPGA version of CORDIC algorithm that evaluates all the trigonometric and anti-trigonometric functions.☆24Nov 20, 2019Updated 6 years ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Apr 27, 2023Updated 2 years ago
- 知乎web pc端部分页面仿写☆11Dec 16, 2021Updated 4 years ago
- GooseGooseDuck Cheat plugis☆11Dec 19, 2022Updated 3 years ago
- IO for Gallina☆34Dec 17, 2025Updated 3 months ago
- This repository contains the Application Binary Interface (ABI) for the Four.meme launchpad smart contract deployed on Binance Smart Chai…☆27Oct 8, 2025Updated 5 months ago
- A small test SoC for various soft-CPUs (Cortex-M0, RISC-V)☆34Mar 21, 2020Updated 6 years ago
- ☆13Jan 16, 2026Updated 2 months ago
- Beamer 中英文模板大合集☆28Jul 22, 2019Updated 6 years ago
- Luthier, a GPU binary instrumentation tool for AMD GPUs☆27Mar 13, 2026Updated last week
- ☆29Dec 29, 2024Updated last year
- RISC-V vector and tensor compute extensions for Vortex GPGPU acceleration for ML workloads. Optimized for transformer models, CNNs, and g…☆22Apr 25, 2025Updated 10 months ago
- ☆17Dec 27, 2024Updated last year
- 快速计算视觉听觉 线性卷积数据分析☆86Oct 1, 2025Updated 5 months ago