simple & misc =========== Note that some of commands you can not test with checking with testbench so those place in misc. 1. passes/cmds/add.cc Note that here you need to load some existing verilog and add additional wires, inputs or outputs 2. passes/cmds/blackbox.cc you could create design with sub module, execute blackbox and check if sub module is replaced with blackbox module. 3. passes/cmds/bugpoint.cc 4. passes/cmds/chformal.cc 5. passes/cmds/chtype.cc 6. passes/cmds/connect.cc Maybe can be covered together with add command 7.passes/cmds/connwrappers.cc 8. passes/cmds/design.cc missing covering -import option 9.passes/cmds/plugin.cc 10. passes/cmds/rename.cc rename parts of existing design 11. /passes/cmds/select.cc Lot of options is not used , so room to improve 12.passes/cmds/setattr.cc note there are 3 commands to cover here 13. passes/cmds/setundef.cc setting with one, anyseq, anyconst ... 14. passes/sat/assertpmux.cc 15. passes/sat/async2sync.cc 16. passes/sat/eval.cc 17. passes/sat/freduce.cc 18. passes/sat/miter.cc run with -assert option 19. passes/sat/sat.cc many options are not tested 20. passes/sat/sim.cc 21. passes/techmap/flowmap.cc
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
add | Loading commit data... | |
assertpmux | Loading commit data... | |
blackbox | Loading commit data... | |
bugpoint | Loading commit data... | |
chformal | Loading commit data... | |
chformal_dff | Loading commit data... | |
chparam | Loading commit data... | |
chtype | Loading commit data... | |
connect | Loading commit data... | |
connwrappers | Loading commit data... | |
cover | Loading commit data... | |
delete | Loading commit data... | |
delete_mem | Loading commit data... | |
edgetypes | Loading commit data... | |
eval | Loading commit data... | |
freduce | Loading commit data... | |
freduce_dff | Loading commit data... | |
freduce_mem | Loading commit data... | |
insbuf | Loading commit data... | |
ltp | Loading commit data... | |
miter_assert | Loading commit data... | |
miter_assert_assume | Loading commit data... | |
plugin | Loading commit data... | |
qwp | Loading commit data... | |
rename | Loading commit data... | |
sat | Loading commit data... | |
scatter | Loading commit data... | |
scc | Loading commit data... | |
scripts | Loading commit data... | |
select | Loading commit data... | |
select_cd | Loading commit data... | |
select_ls | Loading commit data... | |
select_mem | Loading commit data... | |
select_stack | Loading commit data... | |
setattr | Loading commit data... | |
setattr_mem | Loading commit data... | |
setparam | Loading commit data... | |
setundef | Loading commit data... | |
show | Loading commit data... | |
sim | Loading commit data... | |
sim_mem | Loading commit data... | |
stat | Loading commit data... | |
test_abcloop | Loading commit data... | |
test_cell | Loading commit data... | |
torder | Loading commit data... | |
trace | Loading commit data... | |
write_file | Loading commit data... | |
.gitignore | Loading commit data... | |
Makefile | Loading commit data... | |
run.sh | Loading commit data... |