Kamil Rakoczy

V3Const should run to fixed point

2

I've noticed that executing constifyCpp pass multiple times in a row results in different output files. I wounder, is this desired behavior to reduce memory/time usage or it is some...

subst: delay replacing node until pass end

1

This way we can delete assignment node immediately after replacing rhs values and reduce total ram usage. This approach allows us to remove restriction on ``SUBST_MAX_OPS_SUBST`` without drastically increase ram...

Signed-off-by: Kamil Rakoczy

XDC plugin should set default value of DRIVE property if IOSTANDARD property is set.

Add initial support for threads in verilation

1

This PR adapts ThreadPool from: https://github.com/gezalore/verilator/commit/5eac78fca10241fbcc49f5f7ca5032a0997e5282 and adds parallelization to emit stage. I'm also adapting CI scripts to run tests with and without parallelization enabled. This changes reduced total time...

``mkconst_int`` handles integers up to 32bits: https://github.com/YosysHQ/yosys/blob/master/frontends/ast/ast.cc#L754. Whole constant can be stored in ``bits`` field. Before we were checking if value can be stored inside uint32_t, but size of const...

Verilog standard is not allowing underscores as first character of a number: ``` 2.5.1 Integer constants The underscore character (_) shall be legal anywhere in a number except as the...

Signed-off-by: Kamil Rakoczy

We need to check status of every file (Is it parsable by Surelog? Is it parsable by Yosys? Is vivado is generating bitstream? Is bitstream works on HW?). This issue...

This PR adds test with different types of multirange bit-select/part-select. It is used to test support for multiranges with uhdm-plugin and upstream yosys. Signed-off-by: Kamil Rakoczy