mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-17 08:42:16 +00:00
Code Activity

test_cell: Add comment on $pmux

Browse source 
`-simlib` also doesn't work.
This commit is contained in:
Krystine Sherwin 2025-08-12 10:57:59 +12:00
parent c589714433
commit 20c2d2a6f3
No known key found for this signature in database
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
passes/tests/test_cell.cc
View file

@ -1038,7 +1038,8 @@ struct TestCellPass : public Pass {
cell_types[ID($mux)] = "*";
cell_types[ID($bmux)] = "*";
cell_types[ID($demux)] = "*";
// $pmux doesn't work in sat, and is not supported with 'techmap -assert'
// $pmux doesn't work in sat, and is not supported with 'techmap -assert' or
// '-simlib'
if (nosat && techmap_cmd.compare("aigmap") == 0)
cell_types[ID($pmux)] = "*";
cell_types[ID($bwmux)] = "A";