X-Git-Url: https://mograsim.net/gitweb/?a=blobdiff_plain;f=net.mograsim.logic.model%2Fsrc%2Fnet%2Fmograsim%2Flogic%2Fmodel%2Fsnippets%2Fhighlevelstatehandlers%2Fstandard%2Fatomic%2FWireForcingAtomicHighLevelStateHandler.java;h=ecf3a4d9391c9e9b8e80497c4b00c115f458155d;hb=552986fd8718d5f2db00802015fdd1ecd58a5a2f;hp=cd09bd8e7e0b5352d662c9a59657676d96df2cc4;hpb=93b398d6271a538a2a4c9f4de07a3b4a8a2a7fd4;p=Mograsim.git diff --git a/net.mograsim.logic.model/src/net/mograsim/logic/model/snippets/highlevelstatehandlers/standard/atomic/WireForcingAtomicHighLevelStateHandler.java b/net.mograsim.logic.model/src/net/mograsim/logic/model/snippets/highlevelstatehandlers/standard/atomic/WireForcingAtomicHighLevelStateHandler.java index cd09bd8e..ecf3a4d9 100644 --- a/net.mograsim.logic.model/src/net/mograsim/logic/model/snippets/highlevelstatehandlers/standard/atomic/WireForcingAtomicHighLevelStateHandler.java +++ b/net.mograsim.logic.model/src/net/mograsim/logic/model/snippets/highlevelstatehandlers/standard/atomic/WireForcingAtomicHighLevelStateHandler.java @@ -80,11 +80,11 @@ public class WireForcingAtomicHighLevelStateHandler implements AtomicHighLevelSt { BitVector result = BitVector.of(Bit.ZERO, logicWidth); for (ModelWire wire : wiresToForceInverted) - if (wire.hasLogicModelBinding()) + if (wire.hasCoreModelBinding()) result = result.or(wire.getWireValues()); result = result.not(); for (ModelWire wire : wiresToForce) - if (wire.hasLogicModelBinding()) + if (wire.hasCoreModelBinding()) result = result.and(wire.getWireValues()); return result; } @@ -98,11 +98,11 @@ public class WireForcingAtomicHighLevelStateHandler implements AtomicHighLevelSt else vector = (BitVector) newState; for (ModelWire wire : wiresToForce) - if (wire.hasLogicModelBinding()) + if (wire.hasCoreModelBinding()) wire.forceWireValues(vector); vector = vector.not(); for (ModelWire wire : wiresToForceInverted) - if (wire.hasLogicModelBinding()) + if (wire.hasCoreModelBinding()) wire.forceWireValues(vector); }