Package | Description |
---|---|
exploration.parameters.twoDimension |
package contains exploration parameters for all two-dimensional
exploration.
|
solver.sharedMemory.combinedSolver.nonpipelined |
package contains solver for scheduling problem for a shared memory architecture for non-pipelined scheduling.
|
Modifier and Type | Field and Description |
---|---|
private LatProcConstraints |
LatProcParams.satSolver
Solver being used for the Exploration.
|
Modifier and Type | Method and Description |
---|---|
void |
LatProcParams.setSolver(LatProcConstraints solver)
Set the SMT solver for exploration purposes.
|
Modifier and Type | Class and Description |
---|---|
class |
MatrixSolver
Matrix Solver is a SMT based solver which uses functions to solve
the scheduling problem.
|
class |
MutExNonPipelinedScheduling
Mutual Exclusion solver for non-pipelined scheduling problem
|