This is caused by a couple of reasons - first BitMap::iterate is defined in the .cpp file and so cannot be inlined. We might be able to do better by actually implementing a version of the "iterate" routine using inline-able routines from BitMap and using the object sizes to increase...
finding the 'master' duplicate node in V3Trace.cpp:assignTraceCode(...) is very slow on large designs as the number of duplicated nodes can be very large (On one of our designs I see iterations of up to 21000 nodes!) Copy link Contributor Author veripoolbot commented Sep 16, 2016 ...
mlundcommentedMay 2, 2015 Found one solution, for(auto&mol : j["moleculelist"].get<json::object_t>() ) { ... } which returns astd::mapwherefirstandsecondrepresents name and value. Don't know if this extra complication warrants aname()function inbasic_jsonor not. ...