awesome-repositories.com
Blog
MCP
awesome-repositories.com

Discover the best open-source repositories with AI-powered search.

ExploreCurated searchesOpen-source alternativesSelf-hosted softwareBlogSitemap
ProjectMCP serverAboutHow we rankPress
LegalPrivacyTerms
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
hneemann avatar

hneemann/Digital

0
View on GitHub↗
5,793 stars·576 forks·Java·GPL-3.0·23 views

Digital

Digital is a digital logic circuit simulator and hardware design verification tool. It provides a visual environment for designing, testing, and verifying electronic circuits using event-based simulation and automated logic synthesis.

The platform functions as a logic synthesis tool that applies boolean algebra to minimize gate configurations and convert truth tables into efficient hardware. It also serves as an HDL export tool, translating visual circuit graphs into VHDL or Verilog code, and as a CPLD deployment tool that generates JEDEC files for flashing programmable logic chips.

The software covers a broad range of capabilities including finite state machine design, hierarchical and parameterized circuit organization, and signal state visualization. It includes utilities for automated logic verification, signal propagation tracking, and a TCP-based remote interface for simulator management and embedded system debugging.

Features

  • Logic Circuit Simulation - Provides a visual environment for designing and simulating the behavior of digital logic gates and wiring.
  • Visual Design Interfaces - Provides a canvas-based environment for designing and building digital circuits using a library of gates and components.
  • Logic Event Simulators - A simulation engine that models digital logic operation using event-based simulation to verify design functionality.
  • Boolean Logic Minimization - Implements mathematical algorithms to simplify logic circuits by minimizing truth tables through boolean algebra.
  • Hardware Design Verifiers - Provides hardware design verification tools to analyze digital circuit specifications and logic models for design flaws.
  • Embedded Systems Debugging - Enables low-level debugging of embedded architectures by controlling virtual hardware simulations over a network connection.
  • Hardware State Machine Design - Enables the visual creation of finite state machines and their conversion into implementing hardware circuits.
  • Hierarchical Circuit Organization - A system for arranging nested structures and reusable components on a canvas to organize large-scale hardware projects.
  • Hierarchical Component Composition - Embeds saved circuit designs as sub-components within larger systems to manage complexity in hardware architectures.
  • Logic Circuit Synthesis - Converts truth tables and state transition tables into combinatorial and sequential gate-level circuits.
  • Graph Representations - Stores digital designs as interconnected nodes and edges to facilitate structural analysis and logic synthesis.
  • Logic Synthesis Tools - Provides logic synthesis tools to convert high-level hardware descriptions into structural netlists of logic gates.
  • Circuit Functional Verification - Defines and executes specific test cases to automate the verification of a digital circuit's functional behavior.
  • Programmable Logic Development Environments - Provides a development environment to translate hierarchical circuit structures into standardized formats for hardware deployment.
  • CPLD Bitstream Programming - Supports CPLD bitstream programming by generating JEDEC files to update logic configurations on programmable chips.
  • Custom Component Integration - A feature allowing the integration of custom logic components by loading external compiled files into the environment.
  • CPLD Flash Utilities - Generates JEDEC files to flash circuit designs directly to GAL or ATF CPLD chips.
  • Hardware Description Exporters - Translates internal circuit representations into standardized hardware description formats for deployment to programmable logic devices.
  • Parameterized Circuit Design - Provides design methods for creating hardware circuits with adjustable parameters such as bit widths.
  • Reusable Hardware Modules - Defines reusable templates with adjustable variables for hardware modules that scale across different bit widths.
  • Schematic-to-HDL Translation - Translates visual circuit schematics into VHDL or Verilog code for use in FPGA synthesis.
  • Signal Oscillation Debuggers - Provides tools for detecting and analyzing unstable signal oscillations in digital logic networks via gate-by-gate propagation tracking.
  • Signal Propagation Analysis - Implements signal propagation analysis to monitor gate state changes and detect instabilities in digital circuits.
  • Circuit Signal Chronograms - Generates circuit signal chronograms to visually track and analyze signal transitions and temporal states over time.

Star history

Star history chart for hneemann/digitalStar history chart for hneemann/digital

How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Projects sharing features with Digital

These projects share indexed features with Digital. Shared tags can include platform or build tooling; verify the primary use case before treating a result as a replacement.
  • logisim-evolution/logisim-evolutionlogisim-evolution avatar

    logisim-evolution/logisim-evolution

    7,244View on GitHub↗

    Logisim Evolution is a digital logic simulator and schematic editor used for designing and verifying digital circuits. It functions as a tool for digital circuit design and real-time logic simulation, allowing users to create schematic representations of electronic hardware using gates and registers. The software distinguishes itself by providing hardware description language tools that allow for the definition of custom component behavior and the translation of visual schematics into synthesis-ready code for FPGA hardware deployment. It also serves as a bridge for physical hardware integrati

    Javacircuitcircuitsdigital-circuit
    View on GitHub↗7,244
  • verilog-to-routing/vtr-verilog-to-routingverilog-to-routing avatar

    verilog-to-routing/vtr-verilog-to-routing

    1,241View on GitHub↗

    This project is an open-source computer-aided design toolchain designed for the synthesis, placement, and routing of hardware designs onto programmable logic architectures. It serves as a comprehensive framework for research and development, enabling the transformation of hardware description language designs into optimized netlists and physical implementation files. By providing a modular pipeline, the system facilitates the entire flow from initial logic synthesis to the generation of configuration data for programmable hardware devices. The toolchain distinguishes itself through its focus

    C++cadedafpga
    View on GitHub↗1,241
  • atopile/atopileatopile avatar

    atopile/atopile

    3,070View on GitHub↗

    atopile is an electronic design automation software and hardware description language that enables the definition of electronic circuits and components as code. It functions as a modular electronics framework and a compiler that transforms programmatic circuit definitions into a normalized model and KiCad project files for physical layout. The system distinguishes itself through automated hardware design automation, using a constraint-based value solver to calculate required component values and validate electrical specifications during the build process. It employs a modular approach to hard

    Pythoncadedaelectronics
    View on GitHub↗3,070
  • chipsalliance/rocket-chipchipsalliance avatar

    chipsalliance/rocket-chip

    3,798View on GitHub↗

    Rocket-chip is a framework for the parametric design, synthesis, and verification of RISC-V based processors and system-on-chip hardware. It functions as a generator that converts high-level specifications into synthesizable Verilog files for FPGA or ASIC implementation. The project utilizes a Scala-based hardware description framework to produce customizable pipelined processor cores, memory hierarchies, and peripheral devices. It employs a parameter-driven model and a two-phase negotiation process to resolve hardware interface specifications between modules during the elaboration phase. Th

    Scalachip-generatorchiselriscv
    View on GitHub↗3,798
Compare all 30 related projects→

Frequently asked questions

What does hneemann/digital do?

Digital is a digital logic circuit simulator and hardware design verification tool. It provides a visual environment for designing, testing, and verifying electronic circuits using event-based simulation and automated logic synthesis.

What are the main features of hneemann/digital?

The main features of hneemann/digital are: Logic Circuit Simulation, Visual Design Interfaces, Logic Event Simulators, Boolean Logic Minimization, Hardware Design Verifiers, Embedded Systems Debugging, Hardware State Machine Design, Hierarchical Circuit Organization.

Which projects share features with hneemann/digital?

Projects with overlapping indexed features include: logisim-evolution/logisim-evolution — Logisim Evolution is a digital logic simulator and schematic editor used for designing and verifying digital circuits.… verilog-to-routing/vtr-verilog-to-routing — This project is an open-source computer-aided design toolchain designed for the synthesis, placement, and routing of… atopile/atopile — atopile is an electronic design automation software and hardware description language that enables the definition of… chipsalliance/rocket-chip — Rocket-chip is a framework for the parametric design, synthesis, and verification of RISC-V based processors and… misprit7/computerraria — Computerraria is a digital logic circuit simulator and computer architecture educational tool. It provides a sandbox… seblague/digital-logic-sim — Digital-Logic-Sim is a digital logic simulator and interactive circuit designer used for building and simulating…

Curated searches featuring Digital

Hand-picked collections where Digital appears.
  • a comprehensive course for learning digital logic