Search results

Compilation error with the cosimulation example when verilator >= 5.004

Status: Open.

#23 In mit-plv/koika;

· mbty opened on Mar 10, 2023

Multiplier correctness example

Status: Open.

#17 In mit-plv/koika;

· vaishnavi08 opened on Aug 30, 2021

Potential optimization in the RISC-V example

Status: Open.

#16 In mit-plv/koika;

· mbty opened on Aug 23, 2021

Avoidable stalling in the RISC-V example

Status: Open.

#15 In mit-plv/koika;

· mbty opened on Jul 15, 2021

Different behavior in simulation and FPGA

Status: Open.

#14 In mit-plv/koika;

· mbty opened on Jun 9, 2021

<code>unit_t</code> in ext_fn_t input generates invalid verliog

Status: Open.

#11 In mit-plv/koika;

· blaxill opened on Apr 26, 2021

About the upcoming module system and Kôika's semantics

Status: Open.

#10 In mit-plv/koika;

· mbty opened on Apr 23, 2021

Errors in examples/rv/MultiplierCorrectness.v

Status: Open.

#7 In mit-plv/koika;

· mbty opened on Apr 13, 2021