-
Clipper2 Public
Forked from AngusJohnson/Clipper2Polygon Clipping and Offsetting - C++, C# and Delphi
C++ Boost Software License 1.0 UpdatedOct 6, 2023 -
MacroPlacement Public
Forked from TILOS-AI-Institute/MacroPlacementMacro Placement - benchmarks, evaluators, and reproducible results from leading methods in open source
Verilog BSD 3-Clause "New" or "Revised" License UpdatedApr 12, 2023 -
-
taskflow Public
Forked from taskflow/taskflowA General-purpose Parallel and Heterogeneous Task Programming System
C++ Other UpdatedAug 18, 2022 -
TimingPredict Public
Forked from TimingPredict/TimingPredictOfficial open source repository for "A Timing Engine Inspired Graph Neural Network Model for Pre-Routing Slack Prediction" (DAC 2022)
Python UpdatedApr 28, 2022 -
LSOracle Public
Forked from lnis-uofu/LSOracleIDEA project source files
Verilog MIT License UpdatedMar 24, 2022 -
-
DREAMPlaceFPGA Public
Forked from rachelselinar/DREAMPlaceFPGAAn Open-Source Analytical Placer for Large Scale Heterogeneous FPGAs using Deep-Learning Toolkit
C++ BSD 3-Clause "New" or "Revised" License UpdatedNov 1, 2021 -
AMF-Placer Public
Forked from zslwyuan/AMF-PlacerAMF-Placer: An open-source analytical mixed-size FPGA placer
C++ Other UpdatedOct 30, 2021 -
verismith Public
Forked from ymherklotz/verismithVerilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
Haskell GNU General Public License v3.0 UpdatedJul 30, 2021 -
vimplus Public
Forked from chxuan/vimplus🚀An automatic configuration program for vim
Vim Script MIT License UpdatedJun 27, 2021 -
-
sbt, the interactive build tool
Scala Apache License 2.0 UpdatedMay 21, 2021 -
logic-synthesis Public
Forked from JackHack96/logic-synthesisLogic synthesis system from UC Berkeley
C Other UpdatedMay 18, 2021 -
open-source-fpga-resource Public
Forked from os-fpga/open-source-fpga-resourceA list of resources related to the open-source FPGA projects
UpdatedApr 6, 2021 -
METIS Public
Forked from KarypisLab/METISMETIS - Serial Graph Partitioning and Fill-reducing Matrix Ordering
C Other UpdatedMar 24, 2021 -
mockturtle Public
Forked from lsils/mockturtleC++ logic network library
C++ MIT License UpdatedMar 9, 2021 -
-
-
lstools-showcase Public
Forked from lsils/lstools-showcaseShowcase examples for EPFL logic synthesis libraries
CSS MIT License UpdatedFeb 22, 2021 -
vimrc Public
Forked from amix/vimrcThe ultimate Vim configuration (vimrc)
Vim Script MIT License UpdatedFeb 12, 2021 -
sanitizers Public
Forked from google/sanitizersAddressSanitizer, ThreadSanitizer, MemorySanitizer
Python Other UpdatedFeb 12, 2021 -
firrtl Public
Forked from chipsalliance/firrtlFlexible Intermediate Representation for RTL
Scala Apache License 2.0 UpdatedNov 7, 2020 -
-
chisel3 Public
Forked from chipsalliance/chiselChisel 3: A Modern Hardware Design Language
Scala Apache License 2.0 UpdatedNov 6, 2020 -
moore Public
Forked from fabianschuiki/mooreA hardware compiler based on LLHD.
Rust Apache License 2.0 UpdatedNov 6, 2020 -
slang Public
Forked from MikePopoloski/slangSystemVerilog compiler and language services
C++ MIT License UpdatedOct 18, 2020 -
minisat Public
Forked from niklasso/minisatA minimalistic and high-performance SAT solver
C++ Other UpdatedSep 2, 2020 -
abc Public
Forked from berkeley-abc/abcABC: System for Sequential Logic Synthesis and Formal Verification
C Other UpdatedAug 16, 2020 -
iverilog Public
Forked from steveicarus/iverilogIcarus Verilog
C++ GNU Lesser General Public License v2.1 UpdatedAug 14, 2020