Discussions

• 2 You must be logged in to vote

  💬

  Jiahan Lab Notebook

  jiahanxie353 started Sep 25, 2023 in General

  

  

  

  

  6
• 3 You must be logged in to vote

  ❓

  A Few Notes on Undefinedness

  sampsyo started Feb 18, 2022 in Semantics

  

  

  

  

  16
• 4 You must be logged in to vote

  💬

  Planning for Fall 2023

  rachitnigam started Aug 16, 2023 in General

  

  

  

  

  13
• 2 You must be logged in to vote

  💬

  Calyx Static Summer 2023 Lab Notebook

  calebmkim started May 24, 2023 in General

  

  

  

  

  24
• 1 You must be logged in to vote

  🙏

  Formal Verification of HLS and Design Verification

  chsasank asked Sep 2, 2023 in Q&A · Answered

  

  

  1
• 2 You must be logged in to vote

  💬

  Cider 2023 Lab Notebook

  Basant-khalil started May 31, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  💡

  Modules for Calyx

  sampsyo started Mar 8, 2021 in Ideas

  

  

  

  

  18
• 1 You must be logged in to vote

  💡

  Proposal: Calyx-to-FIRRTL backend to use ESSENT

  sampsyo started Jun 6, 2023 in Ideas

  

  

  

  

  4
• 1 You must be logged in to vote

  💬

  Static Calyx 2023 Summer Lab Notebook - Pai

  paili0628 started Jun 9, 2023 in General

  

  

  2
• 1 You must be logged in to vote

  💡

  Proposal: Good Numbers for Calyx

  sampsyo started May 9, 2023 in Ideas

  

  

  2
• 2 You must be logged in to vote

  💬

  Versioning packages and docker releases

  rachitnigam started May 10, 2023 in General

  

  

  2
• 1 You must be logged in to vote

  🙏

  Efficient RTL: Dialect vs Native

  5hayanB asked May 3, 2023 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  💬

  Readable RTL output is a non-goal

  sampsyo started Aug 17, 2022 in General

  

  

  

  

  4
• 1 You must be logged in to vote

  🙏

  Calyx IL or dialect?

  5hayanB asked May 2, 2023 in Q&A · Answered

  

  

  

  

  2
• 2 You must be logged in to vote

  👋

  Getting set up with Calyx

  bcarlet started Feb 9, 2023 in Introductions · Closed

  

  

  

  

  5
• 1 You must be logged in to vote

  ❓

  Guarantees for Static Timing

  Calyx 2.0 Things that move us towards Calyx 2.0

  rachitnigam started Jan 2, 2023 in Semantics

  

  

  

  

  13
• 1 You must be logged in to vote

  💡

  Calyx 2.0: Static Everywhere

  Calyx 2.0 Things that move us towards Calyx 2.0

  rachitnigam started Jan 3, 2023 in Ideas

  

  

  0
• 1 You must be logged in to vote

  🙏

  Why do you choose Rust to build the DSL

  Z-KN asked Dec 9, 2022 in Q&A · Answered

  

  

  

  

  3
• 1 You must be logged in to vote

  👋

  coming from a c++ HLS background

  muzafferkal started Nov 1, 2022 in Introductions

  

  

  

  

  7
• 3 You must be logged in to vote

  💡

  Parallelization is "free" on hardware

  rachitnigam started Nov 18, 2022 in Ideas

  

  

  

  

  7
• 1 You must be logged in to vote

  💬

  Calyx generated hardware to ASIC

  hadirkhan10 started Nov 12, 2022 in General

  

  

  2
• 2 You must be logged in to vote

  💡

  Proposal: libm generator for Calyx

  sampsyo started Sep 23, 2021 in Ideas

  

  

  

  

  21
• 2 You must be logged in to vote

  💬

  Note About Vivado Resource Sharing

  calebmkim started Oct 29, 2022 in General

  

  

  1
• 2 You must be logged in to vote

  💬

  [Interpreter] Indexed IR and flattening the interpreter state

  EclecticGriffin started Sep 19, 2022 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  "Eye-Test" Calyx Sharing numbers for Lenet and Squeezenet

  calebmkim started Sep 17, 2022 in General

  

  

  1