Øyvind Harboe
Øyvind Harboe
To reproduce: ``` $ bazelisk run test/orfs/mock-array:Element_4x4_base_synth /tmp/x open_synth [deleted] read_db -hier ./test/orfs/mock-array/results/asap7/Element/4x4_base/1_synth.odb [WARNING ORD-0012] Hierarchical flow (-hier) is currently in development and may cause multiple issues. Do not use...
> I think you want -path_group not -group_path which matches to -group_path_count Ah, the convenience of not spelling out options out bit me...
I was thinking this would be a feature of assert. Are you suggesting the user should modify all asserts to get this information or that this is an implementation detail...
I tried chisel3.assert(), it didn't give me Chisel line numbers.
@gudeh Understood. However, it may be useful for the user to know that they can relax the optimization target to improve running times. If message can be rearticulated to communicate...
@rovinski Had an idea to collect data on running times vs quality of results and creating a tool that recommended options?
It would probably be a good idea to check that everything that should be different is different+has the correct value and everything that should be the same is the same......
> I think the problem is lvt uses ?= in some places which fails to override the rvt ?= settings. I agree it would be good to just have separate...
Is a generic pattern with PLATFORM_VARIANT useful/common?
> Does the output of yosys pass eqy? I just want to make sure this is actually an OR issue. I don't know in this particular case; but this is...