Creating Logic Functions [AND, OR, NOT, XNOR, XOR, NAND, etc] using Neural Network
☆18Oct 28, 2019Updated 6 years ago
Alternatives and similar repositories for Neural-Representation-of-Logic-Functions
Users that are interested in Neural-Representation-of-Logic-Functions are comparing it to the libraries listed below
Sorting:
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated last year
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆16Nov 8, 2016Updated 9 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- Simple SAT solver with CDCL implemented in Python☆19Jan 5, 2023Updated 3 years ago
- Logic optimization and technology mapping tool.☆20Oct 12, 2023Updated 2 years ago
- An Extensible Framework for Hardware Verification and Debugging☆18Sep 14, 2022Updated 3 years ago
- ☆12May 21, 2024Updated last year
- EDA wiki☆54Mar 1, 2023Updated 3 years ago
- State-of-the-art in reversible logic synthesis☆24Jul 16, 2016Updated 9 years ago
- LOSTIN: Logic Optimization via Spatio-Temporal Information with Hybrid Graph Models☆26May 29, 2022Updated 3 years ago
- Selected problems and their solutions from the book on "Machine Intelligence in Design Automation"☆27Dec 9, 2018Updated 7 years ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆31Sep 20, 2019Updated 6 years ago
- Hibiscus Sense ESP32 Arduino for IoT applications tutorial and example sketches. The journey begins from the basic of embedded system to …☆16Apr 16, 2025Updated 10 months ago
- EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog☆31Jan 17, 2020Updated 6 years ago
- Angstrom repository with updated layers file☆11Jul 9, 2021Updated 4 years ago
- STOMP client/server implementation☆35Feb 16, 2026Updated 3 weeks ago
- ☆11Oct 10, 2018Updated 7 years ago
- Sample AWS Lambda function written in Java that connects to a DB via JDBC☆12Jun 30, 2015Updated 10 years ago
- Quantum Color Centers Analysis Toolbox☆14Jan 28, 2026Updated last month
- ☆11Apr 3, 2017Updated 8 years ago
- High speed filtering of arbitrarily large JSON documents☆10Feb 24, 2026Updated last week
- ☆10Oct 23, 2016Updated 9 years ago
- Some code for calculating cosmological distances☆14Aug 8, 2016Updated 9 years ago
- Digital Logic Simulator☆34May 23, 2021Updated 4 years ago
- Python package using GPU via CUDA for astronomical image reduction☆11Jul 19, 2024Updated last year
- Minimal event-driven framework for Java.☆15Apr 14, 2019Updated 6 years ago
- Desktop time tracker for JIRA☆12Nov 10, 2022Updated 3 years ago
- ☆40Jun 3, 2023Updated 2 years ago
- COSI's second data challenge☆10Jan 6, 2025Updated last year
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Make searching and pagination easy with Hibernate ORM using JPQL or SQL☆11May 8, 2018Updated 7 years ago
- This project shows how to generate a PDF from a thymleaf-template.☆10May 22, 2015Updated 10 years ago
- Jexxa - A Ports and Adapters Framework for Java☆13Mar 2, 2026Updated last week
- 5x5x5 solver☆17Feb 21, 2023Updated 3 years ago
- A linearizability checker for concurrent data structures☆12Aug 3, 2023Updated 2 years ago
- MEGARA (Multi-Espectrógrafo en GTC de Alta Resolución para Astronomía) is a facility instrument designed for the 10.4m GTC telescope in L…☆16Updated this week
- Main repo of the OOP class☆11Oct 16, 2017Updated 8 years ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- My personal Electronics projects versioning repo.☆13Dec 9, 2013Updated 12 years ago