Discussions

• 1 You must be logged in to vote

  🙏

  BTOR format: state and array sorts

  zsisco asked Sep 16, 2022 in Q&A · Unanswered

  

  

  22
• 1 You must be logged in to vote

  💡

  Meeting with Zach and Jonathan

  gussmith23 started Nov 1, 2022 in Ideas

  

  

  0
• 2 You must be logged in to vote

  💬

  Symbolic Resource Allocation during Sketch Generation

  bkushigian started Sep 13, 2022 in General

  

  

  3
• 1 You must be logged in to vote

  💡

  Architecture-aware General Templating

  enhancement New feature or request

  bkushigian started Sep 7, 2022 in Ideas

  

  

  2
• 1 You must be logged in to vote

  💬

  How should we structure resources that we synthesize?

  bkushigian started May 27, 2022 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Examples of FPGA slice specifications

  gussmith23 started Apr 29, 2021 in General

  

  

  8
• 1 You must be logged in to vote

  💬

  Investigating Yosys's n-bit adder designs for ECP5

  bkushigian started May 25, 2022 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  ISA generation algorithm pseudocode

  gussmith23 started Feb 1, 2022 in General

  

  

  2
• 1 You must be logged in to vote

  💬

  How is this normally done?

  gussmith23 started Apr 29, 2021 in General

  

  

  4
• 1 You must be logged in to vote

  💬

  Examples of patterns to be synthesized

  gussmith23 started Apr 29, 2021 in General

  

  

  1