mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-18 09:12:18 +00:00
Code Activity

consteval: Fix $bwmux handling

Browse source 
If the cell type has a S signal and hasn't already been handled, use `CellTypes::eval(cell, A, B, S)`.
This commit is contained in:
Krystine Sherwin 2025-08-12 10:57:58 +12:00
parent 014eadd8b9
commit db4ffaffd2
No known key found for this signature in database
2 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
passes/tests/test_cell.cc
View file

@ -1046,9 +1046,7 @@ struct TestCellPass : public Pass {
// $pmux doesn't work in sat, and is not supported with 'techmap -assert'
if (nosat && techmap_cmd.compare("aigmap") == 0)
cell_types[ID($pmux)] = "*";
// $bwmux is not supported by ConstEval
if (noeval)
cell_types[ID($bwmux)] = "A";
cell_types[ID($bwmux)] = "A";
cell_types[ID($slice)] = "A";
cell_types[ID($concat)] = "AB";