Gabriel Rodríguez Canal

icon company The University of Edinburgh icon location Edinburgh, United Kigndom icon location PhD student at The University of Edinburgh / Research Intern at PNNL. Focusing on high-level dataflow abstractions for FPGA driven through MLIR/LLVM.

Results 2 issues of Gabriel Rodríguez Canal

Inline math problem

3 comment

Hello, Whenever I try to inline math in a mdpp file, markdown-pp returns a weird output. For example, for the input: $2^n$ The output is: ``` ![2^n]( 405 Not Allowed...

[BUG] Wrong propagation of reset signal and clock

Hi there, I have found a bug in the code generation with the Calyx backend in the latest version of CIRCT. In the generated Verilog the reset signal are not...

Calyx