| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/PathBreakerSelfloopPinsTagCommand.java | 22 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/PropagateInversionTransformationCommand.java | 196 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/ProxyContactTransformationCommand.java | 85 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/ReachAssertionVerificationCommand.java | 78 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/RefinementStatisticsCommand.java | 88 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/RefinementVerificationCommand.java | 52 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/ResetActiveHighInsertionCommand.java | 7 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/ResetActiveLowInsertionCommand.java | 7 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/ResetVerificationCommand.java | 34 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/ScanInsertionCommand.java | 24 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/SignalAssertionVerificationCommand.java | 95 | A 35 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/SplitGateTransformationCommand.java | 238 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/SpotAssertionVerificationCommand.java | 72 | B 4 hrs |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/SquashComponentTransformationCommand.java | 44 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/StatisticsCommand.java | 199 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/StrictImplementationVerificationCommand.java | 141 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/TestableGateInsertionCommand.java | 18 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/ToggleBubbleTransformationCommand.java | 142 | A 30 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/ToggleZeroDelayTransformationCommand.java | 72 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/UpdateComponentInterfaceTransformationCommand.java | 32 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/expression/Constant.java | 28 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/expression/Expression.java | 9 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/expression/Factor.java | 35 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/expression/Formula.java | 66 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/expression/Literal.java | 33 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/expression/Negation.java | 40 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/expression/Term.java | 64 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/genlib/Function.java | 9 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/genlib/Gate.java | 21 | A 50 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/genlib/GateInterface.java | 30 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/genlib/GenlibUtils.java | 152 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/genlib/Library.java | 36 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/genlib/LibraryManager.java | 120 | A 3 hrs |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/AbstractVerilogExporter.java | 446 | A 45 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/AbstractVerilogImporter.java | 1,160 | C 1 day |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/GenlibFormat.java | 30 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/GenlibImporter.java | 39 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/ImportVerilogDialog.java | 158 | A 35 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/SdcFormat.java | 30 | A 1 hr |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/SystemVerilogAssignExporter.java | 7 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/SystemVerilogImporter.java | 14 | A 30 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/VerilogFormat.java | 54 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/VerilogImporter.java | 14 | A 30 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/VerilogNetlistExporter.java | 7 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/naryformula/NaryBooleanFormula.java | 4 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/naryformula/NaryBooleanFormulaBuilder.java | 91 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/naryformula/NaryBooleanFormulaVisitor.java | 10 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/naryformula/NaryDefaultArgExtractor.java | 26 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/naryformula/NaryUtils.java | 45 | A 0 mins |
|
| workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/naryformula/SplitForm.java | 20 | A 0 mins |
|