Matt Liberty 06f94cafd8 Add a less operator to BddPortVarMap (#258) ... bdd_port_var_map_, of type BddPortVarMap, is iterated over in Power::evalBddActivity. Previously the map used pointer comparison so the iteration order was non-deterministic. The computed density was therefore non-deterministic due to the non-associativity of floating-point addition. Signed-off-by: Matt Liberty <mliberty@precisioninno.com>		2025-07-13 10:59:51 -07:00
..
sta	Add a less operator to BddPortVarMap (#258)	2025-07-13 10:59:51 -07:00