cvc
by d-m-bailey
CVC: Circuit Validity Checker. Check for errors in CDL netlist.
AI summary
Circuit Validator
Checks CDL netlists for errors and circuit validity
- stars
- 22
- forks
- 1
- watching
- 4
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Circuit viewer
A tool for converting and visualizing electrical circuit designs from text format to graphical schematic.
Code verifier
A tool for verifying the correctness and safety of C++ programs
mxmxmx/o_c474
CV generator
Generates CV signals based on user input and stores them in a polymorphic format
Digital circuit testing library
Provides tools and techniques for generating testable digital circuits and analyzing their coverage
Netlist analyzer
A framework for analyzing and transforming FPGA netlists
Multimodal LLM test suite
A benchmark for evaluating large language models' ability to process multimodal input
Data Validator Library
A C++ header-only library for declaratively defining data validation constraints and applying them to various data structures
Clock synchronizer modules
A collection of reusable Verilog systemVerilog modules used to synchronize clocks and handles asynchronous crossings in digital circuits
C DSL builder
Provides a set of reusable code transformations and abstractions for writing domain-specific languages (DSLs) in C.
Circuit designer
A collection of MyHDL cores and tools for complex digital circuit design
Verification tools
Tools for enhanced verification of digital circuits
Circuit simulator
Asynchronous circuit design and simulation tools using a hardware description language.
Validator
A validation DSL for Clojure & Clojurescript applications
Code evaluator
A plugin for evaluating Lua code blocks in Markdown documents within Neovim
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
Featured in 1 awesome list
Each link jumps to the spot where the list mentions cvc.
