mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-20 07:36:39 +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-04-17 11:23:18 +12:00
parent 7f68a1ebd6
commit c04ea307ac
No known key found for this signature in database
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
passes/tests/test_cell.cc
View file

@ -1036,7 +1036,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";