mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-23 09:05:32 +00:00
Code Activity

Merge pull request #3219 from YosysHQ/micko/quick_vcd

Browse source 
VCD reader support by using external tool
This commit is contained in:
Miodrag Milanović 2022-03-04 10:42:14 +01:00 • committed by GitHub
commit 9581b9adac
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 21 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
passes/sat/sim.cc
View file

@ -1089,6 +1089,7 @@ struct SimWorker : SimShared
pool<Module*> wbmods;
top->writeback(wbmods);
}
delete fst;
}
void run_cosim_witness(Module *topmod)