Discussions

• 1 You must be logged in to vote

  🙏

  Area Increase in Yosys 0.43 vs 0.37+64 on GCD Design (ORFS)

  rr667 asked Sep 16, 2024 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  How to set two signals are not the equal in SAT Pass

  hanm2019 asked Sep 5, 2024 in Q&A · Unanswered

  

  

  2
• 1 You must be logged in to vote

  💬

  Mapping a Xilinx netlist to SkyWater

  mayureshw started Sep 4, 2024 in General

  

  

  

  

  2
• 1 You must be logged in to vote

  🙏

  Ensuring module output ports are always a single net, not a concatenation of nets

  gussmith23 asked Aug 21, 2024 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  💬

  Correct cleanup of debug code

  pat-pgt started Aug 12, 2024 in General

  

  

  1
• 1 You must be logged in to vote

  🙏

  Example of write_aiger working with assert

  gjasper asked Aug 12, 2024 in Q&A · Unanswered

  

  

  

  

  4
• 1 You must be logged in to vote

  🙏

  Issue with Generating bad Statements in BTOR2 Files Using Yosys

  EPTansuo asked Aug 4, 2024 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  💬

  cannot synthesize latch?

  lacary started May 16, 2024 in General

  

  

  

  

  7
• 1 You must be logged in to vote

  🙏

  Hard Macros, etc.

  stacksmith asked Aug 8, 2024 in Q&A · Unanswered

  

  

  7
• 1 You must be logged in to vote

  🙌

  Verilog package manager

  sathvikr started Aug 6, 2024 in Show and tell

  

  

  

  

  6
• 1 You must be logged in to vote

  🙏

  How to debug in vscode of my handwrite pass

  hanm2019 asked Jul 10, 2024 in Q&A · Closed · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Polarfire

  liamdiprose asked Jan 6, 2024 in Q&A · Answered

  

  

  

  

  2
• 4 You must be logged in to vote

  🙌

  CDC detection with yosys

  ldoolitt started Sep 25, 2023 in Show and tell

  

  

  

  

  7
• 1 You must be logged in to vote

  🙏

  Using splitnets only on selection

  A-Kibats asked Jul 16, 2024 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  Writing Match for EQY.

  Ajaymalolan asked Jun 26, 2024 in Q&A · Unanswered

  

  

  

  

  5
• 1 You must be logged in to vote

  🙏

  Correct yosys usage

  janetatomas1 asked Jul 12, 2024 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  How to configure yosys to code fsm in binary (and no one-hot)

  titan73 asked Jun 19, 2024 in Q&A · Closed · Answered

  

  

  1
• 1 You must be logged in to vote

  💬

  Is there a way to pull out from a module a vector which represents all the DFFs in the module and it's submodules

  Topi-ab started Jul 10, 2024 in General

  

  

  0
• 1 You must be logged in to vote

  🙏

  DFF naming of multi-dimensional array

  titan73 asked Jun 18, 2024 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  naming rule for the synthesised verilog

  nlwmode asked Jun 14, 2024 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  💬

  Force inference of BRAMs

  nachiket started Jun 11, 2024 in General

  

  

  13
• 1 You must be logged in to vote

  🙏

  Proper way to make LUT ROMs

  hackguy25 asked Jun 6, 2024 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  How to synthesize logic gates with 3 or more inputs?

  mivuzz asked May 27, 2024 in Q&A · Unanswered

  

  

  3
• 1 You must be logged in to vote

  🙏

  How to map the circuit into LUT and DFF in yosys？

  thn-pudding asked May 5, 2023 in Q&A · Closed · Answered

  

  

  

  

  8
• 1 You must be logged in to vote

  🙏

  How to add SystemVerilog package to yosys synthesis?

  TarikHamedovic asked May 22, 2024 in Q&A · Closed · Unanswered

  

  

  0