CIRCA
master
Contents:
Getting Started with CIRCA
User Guide
Developer Guide
External programs and frameworks
CIRCA Source Code
CIRCA
Docs
»
Index
Index
_
|
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
J
|
L
|
M
|
N
|
O
|
P
|
Q
|
R
|
S
|
T
|
U
|
V
|
W
_
__init__() (approximation.approximation.Approximation method)
(base.candidates.Candidate method)
(front_end.front_end.FrontEnd method)
(search.search_gradient_descent.GradientDescent method)
(search.search_mcts.MCTS method)
(search.search_simulated_annealing.SimulatedAnnealing method)
__repr__() (base.candidates.Candidate method)
__str__() (base.candidates.Candidate method)
_abc_if() (estimation.estimation.Estimation method)
_addCutToSqcc() (quality_assurance.quality_assurance_abc_dprove.ABCDprove method)
_autoDetectBoundaries() (approximation.approximation.Approximation static method)
_extractAnnotationsAndCleanDesign() (front_end.front_end_anno_cand.AnnotatedCandidates method)
_findAndReplace() (approximation.approx_method_aig.ApproximatorAIG method)
(quality_assurance.quality_assurance_abc_dprove.ABCDprove static method)
_generateCandidates() (front_end.front_end_anno_cand.AnnotatedCandidates method)
_generateMask() (approximation.approx_method_ps.ApproximatorPS method)
_getRootNode() (approximation.approximation.Approximation method)
_indent() (utils.logutils.IndentationAdapter method)
_parseApproxMethods() (approximation.approximation.Approximation static method)
_parseQualityConstraints() (approximation.approximation.Approximation static method)
_prepareBitFlipErrQc() (approximation.approx_method_aig.ApproximatorAIG method)
(quality_assurance.quality_assurance_abc_dprove.ABCDprove method)
_prepareQcWrapper() (approximation.approx_method_aig.ApproximatorAIG method)
_prepareQecWrapper() (quality_assurance.quality_assurance_abc_dprove.ABCDprove method)
_prepareRelErrQc() (approximation.approx_method_aig.ApproximatorAIG method)
(quality_assurance.quality_assurance_abc_dprove.ABCDprove method)
_prepareWcQc() (approximation.approx_method_aig.ApproximatorAIG method)
(quality_assurance.quality_assurance_abc_dprove.ABCDprove method)
_setupQec() (quality_assurance.quality_assurance_abc_dprove.ABCDprove method)
_setupSQCC() (quality_assurance.quality_assurance_abc_dprove.ABCDprove method)
_writeSqcc() (quality_assurance.quality_assurance_abc_dprove.ABCDprove method)
A
abc_dprove() (ext_tools.ext_tools.ExtTools static method)
abc_if() (ext_tools.ext_tools.ExtTools static method)
abc_pdr() (ext_tools.ext_tools.ExtTools static method)
ABCDprove (class in quality_assurance.quality_assurance_abc_dprove)
ABCPdr (class in quality_assurance.quality_assurance_abc_pdr)
abspath() (in module utils.shutil2)
acceptanceProbability() (search.search_simulated_annealing.SimulatedAnnealing method)
addModules() (in module utils.verilog_utils)
AIG_REWRITING (runtime.constants.APPROX attribute)
aigRewriting() (ext_tools.ext_tools.ExtTools static method)
(in module ext_tools.abc_interface)
ALPHA (search.search_simulated_annealing.SimulatedAnnealing.CFG attribute)
AnnotatedCandidates (class in front_end.front_end_anno_cand)
AnnotatedCandidates.ANNOTATION_REGEX_GROUP (class in front_end.front_end_anno_cand)
app_method (base.variants.Variant attribute)
app_methods (base.candidates.Candidate attribute)
append() (base.candidates.CandidateSet method)
(base.circuits.ApproximatedCircuits method)
(base.variants.VariantSet method)
appendNode() (base.circuits.ApproximatedCircuits method)
appendPi() (base.candidates.Candidate method)
appendPo() (base.candidates.Candidate method)
applyRules() (approximation.approx_method.ApproxMethod method)
(approximation.approx_method_aig.ApproximatorAIG method)
(approximation.approx_method_ps.ApproximatorPS method)
APPROX (class in runtime.constants)
approx_circuits (base.information.GeneralInformation attribute)
APPROX_CIRCUITS (runtime.constants.DIRS attribute)
approx_circuits_path (base.information.GeneralInformation attribute)
APPROX_FILE (runtime.constants.LOG attribute)
APPROX_KEY (front_end.front_end_anno_cand.AnnotatedCandidates.ANNOTATION_REGEX_GROUP attribute)
APPROX_METHOD (runtime.constants.CFG attribute)
APPROX_PARAMETERS (front_end.front_end_anno_cand.AnnotatedCandidates.ANNOTATION_REGEX_GROUP attribute)
APPROX_QCS (runtime.constants.CFG attribute)
APPROX_QCS_BOUND (runtime.constants.CFG attribute)
APPROX_QCS_STEP (runtime.constants.CFG attribute)
ApproximatedCircuits (class in base.circuits)
approximateVariant() (approximation.approx_method.ApproxMethod method)
(approximation.approx_method_aig.ApproximatorAIG method)
(approximation.approx_method_ps.ApproximatorPS method)
Approximation (class in approximation.approximation)
approximation.approx_method (module)
approximation.approx_method_aig (module)
approximation.approx_method_ps (module)
approximation.approximation (module)
approximation.approximator_factory (module)
ApproximatorAIG (class in approximation.approx_method_aig)
ApproximatorFactory (class in approximation.approximator_factory)
ApproximatorPS (class in approximation.approx_method_ps)
ApproxMethod (class in approximation.approx_method)
AREA (search.search_simulated_annealing.SimulatedAnnealing.HEURISTIC attribute)
B
backPropagate() (search.search_mcts.MCTS method)
base.circuits (module)
base.information (module)
base.metrics.error_bf (module)
base.metrics.error_bm (module)
base.metrics.error_metric (module)
base.metrics.error_metric_factory (module)
base.metrics.error_rel (module)
base.metrics.error_wc (module)
base.nodes (module)
base.signals (module)
base.variants (module)
base_directory (base.information.GeneralInformation attribute)
basename() (in module utils.shutil2)
BEST (search.search_gradient_descent.GradientDescent.SEL_STRATEGY attribute)
BIT_FLIP (runtime.constants.QC attribute)
BIT_MASK (runtime.constants.QC attribute)
BitFlipError (class in base.metrics.error_bf)
BitMaskError (class in base.metrics.error_bm)
blifToVerilog() (ext_tools.ext_tools.ExtTools static method)
(in module ext_tools.yosys_interface)
BUDGET (search.search_mcts.MCTS.CFG attribute)
BUDGET_PARAM (search.search_initial_var_dfs.InitialVariantDFS.CFG attribute)
C
C_SQCC_TOP_MODULE (quality_assurance.quality_assurance_abc_dprove.ABCDprove attribute)
cand_set (base.information.GeneralInformation attribute)
cand_set_path (base.information.GeneralInformation attribute)
candidate (base.variants.Variant attribute)
Candidate (class in base.candidates)
candidates (base.candidates.CandidateSet attribute)
CANDIDATES (runtime.constants.DIRS attribute)
CandidateSet (class in base.candidates)
CFG (class in runtime.constants)
cfg_file (base.information.GeneralInformation attribute)
cfg_file_path (base.information.GeneralInformation attribute)
CfgParser (class in utils.cfg_util)
chdir() (in module utils.shutil2)
CIRCA_REPO (runtime.constants.DIRS attribute)
circuit (base.nodes.Node attribute)
Circuit (class in base.circuits)
CIRCUIT_TYPE (class in runtime.constants)
clearTics() (utils.timing_util.TimestampCollector method)
(utils.timing_util.TimestampManager method)
ColoredFormatter (class in utils.logutils)
COMBINATIONAL (runtime.constants.CIRCUIT_TYPE attribute)
compileVerilog() (ext_tools.ext_tools.ExtTools static method)
(in module ext_tools.iverilog_interface)
compileVerilogFileList() (ext_tools.ext_tools.ExtTools static method)
(in module ext_tools.iverilog_interface)
compileVerilogMixed() (ext_tools.ext_tools.ExtTools static method)
(in module ext_tools.iverilog_interface)
configuration (base.nodes.Node attribute)
convertToValue() (base.metrics.error_bf.BitFlipError method)
(base.metrics.error_bm.BitMaskError method)
(base.metrics.error_metric.ErrorMetric method)
(base.metrics.error_rel.RelativeError method)
(base.metrics.error_wc.WorstCaseError method)
copytree() (in module utils.shutil2)
D
DEFAULT (search.search_gradient_descent.GradientDescent.SEL_STRATEGY attribute)
(search.search_simulated_annealing.SimulatedAnnealing.HEURISTIC attribute)
default_value (base.metrics.error_metric.ErrorMetric attribute)
dirname() (in module utils.shutil2)
DIRS (class in runtime.constants)
dprove() (in module ext_tools.abc_interface)
DummyOutput (class in output.output_dummy)
E
EFFORT (search.search_gradient_descent.GradientDescent.CFG attribute)
ENTIRE_MATCH (front_end.front_end_anno_cand.AnnotatedCandidates.ANNOTATION_REGEX_GROUP attribute)
environ() (in module utils.shutil2)
EQUILIBRIUM (search.search_simulated_annealing.SimulatedAnnealing.CFG attribute)
error_bounds (base.variants.Variant attribute)
ErrorMetric (class in base.metrics.error_metric)
ErrorMetricFactory (class in base.metrics.error_metric_factory)
estimateCircuitStats() (estimation.estimation.Estimation method)
Estimation (class in estimation.estimation)
estimation.estimation (module)
ESTIMATION_METHOD (runtime.constants.CFG attribute)
evaluateNodes() (search.search.Search method)
(search.search_gradient_descent.GradientDescent method)
(search.search_initial_var_dfs.InitialVariantDFS method)
(search.search_mcts.MCTS method)
(search.search_simulated_annealing.SimulatedAnnealing method)
exists() (in module utils.shutil2)
expandSearchSpace() (search.search.Search method)
(search.search_gradient_descent.GradientDescent method)
(search.search_initial_var_dfs.InitialVariantDFS method)
(search.search_mcts.MCTS method)
(search.search_simulated_annealing.SimulatedAnnealing method)
ext_tools.abc_interface (module)
ext_tools.ext_tools (module)
ext_tools.iverilog_interface (module)
ext_tools.yosys_interface (module)
extend() (base.candidates.CandidateSet method)
(base.variants.VariantSet method)
extractAndWriteModule() (ext_tools.ext_tools.ExtTools static method)
(in module ext_tools.yosys_interface)
extractPiPo() (base.information.GeneralInformation method)
extractPisPos() (in module utils.verilog_utils)
ExtTools (class in ext_tools.ext_tools)
F
factory() (approximation.approximator_factory.ApproximatorFactory static method)
(base.metrics.error_metric_factory.ErrorMetricFactory static method)
(front_end.front_end_factory.FrontEndFactory static method)
(output.output_factory.OutputFactory static method)
file_blif (base.circuits.Circuit attribute)
(base.variants.Variant attribute)
file_name (base.circuits.Circuit attribute)
(base.variants.Variant attribute)
file_verilog (base.circuits.Circuit attribute)
(base.variants.Variant attribute)
findCandidates() (ext_tools.ext_tools.ExtTools static method)
findVariant() (base.variants.VariantSet method)
flattenDesign() (ext_tools.ext_tools.ExtTools static method)
(in module ext_tools.yosys_interface)
format() (utils.logutils.ColoredFormatter method)
front_end.front_end (module)
front_end.front_end_anno_cand (module)
front_end.front_end_factory (module)
FrontEnd (class in front_end.front_end)
FrontEndFactory (class in front_end.front_end_factory)
G
GENERAL_TOP_MODULE (runtime.constants.CFG attribute)
GeneralInformation (class in base.information)
generateChildren() (base.nodes.Node method)
(base.variants.Variant method)
generateNeighbors() (base.nodes.Node method)
(base.variants.Variant method)
generateNodeFromConfiguration() (base.nodes.Node static method)
generateOriginalVariant() (base.candidates.Candidate method)
,
[1]
(base.candidates.ModuleCand method)
generateParents() (base.nodes.Node method)
(base.variants.Variant method)
generateStat() (in module ext_tools.abc_interface)
(in module ext_tools.yosys_interface)
generateVariantFromConfiguration() (base.variants.Variant static method)
getApproxMethod() (base.candidates.Candidate method)
getConfigParser() (utils.cfg_util.CfgParser static method)
getcwd() (in module utils.shutil2)
getErrorMetric() (base.candidates.Candidate method)
,
[1]
getext() (in module utils.shutil2)
getMaxRewardChildren() (search.search_mcts.MCTS method)
getNextValues() (base.metrics.error_bf.BitFlipError method)
(base.metrics.error_bm.BitMaskError method)
(base.metrics.error_metric.ErrorMetric method)
(base.metrics.error_rel.RelativeError method)
(base.metrics.error_wc.WorstCaseError method)
getOptionsDict() (utils.cfg_util.CfgParser static method)
getPrevValues() (base.metrics.error_bf.BitFlipError method)
(base.metrics.error_bm.BitMaskError method)
(base.metrics.error_metric.ErrorMetric method)
(base.metrics.error_rel.RelativeError method)
(base.metrics.error_wc.WorstCaseError method)
getTimestamps() (utils.timing_util.TimestampManager method)
getTypeStr() (base.candidates.Candidate static method)
(base.candidates.ModuleCand static method)
getValueStr() (base.metrics.error_bf.BitFlipError method)
(base.metrics.error_bm.BitMaskError method)
(base.metrics.error_metric.ErrorMetric method)
(base.metrics.error_rel.RelativeError method)
(base.metrics.error_wc.WorstCaseError method)
getVariantOfCandidate() (base.nodes.Node method)
GradientDescent (class in search.search_gradient_descent)
GradientDescent.CFG (class in search.search_gradient_descent)
GradientDescent.SEL_STRATEGY (class in search.search_gradient_descent)
greaterMax() (base.metrics.error_bf.BitFlipError method)
(base.metrics.error_bm.BitMaskError method)
(base.metrics.error_metric.ErrorMetric method)
(base.metrics.error_rel.RelativeError method)
(base.metrics.error_wc.WorstCaseError method)
H
hasActiveChildren() (search.search_mcts.MCTS method)
hasApproxMethod() (base.candidates.Candidate method)
,
[1]
hasCloseList() (search.search_mcts.MCTS method)
hasErrorMetric() (base.candidates.Candidate method)
,
[1]
(base.variants.Variant method)
hash (base.circuits.Circuit attribute)
hasOpenList() (search.search_mcts.MCTS method)
hasTerminated() (search.search.Search method)
(search.search_gradient_descent.GradientDescent method)
(search.search_initial_var_dfs.InitialVariantDFS method)
(search.search_mcts.MCTS method)
(search.search_simulated_annealing.SimulatedAnnealing method)
HEURISTIC (search.search_simulated_annealing.SimulatedAnnealing.CFG attribute)
high_active (base.signals.Signal attribute)
I
IC3 (class in quality_assurance.quality_assurance_ic3)
ic3() (ext_tools.ext_tools.ExtTools static method)
(in module ext_tools.yosys_interface)
id (approximation.approx_method.ApproxMethod attribute)
(base.candidates.Candidate attribute)
(base.metrics.error_metric.ErrorMetric attribute)
(base.nodes.Node attribute)
(base.variants.Variant attribute)
IndentationAdapter (class in utils.logutils)
INITIAL_VAR_PARAM (search.search_initial_var_dfs.InitialVariantDFS.CFG attribute)
InitialVariantDFS (class in search.search_initial_var_dfs)
InitialVariantDFS.CFG (class in search.search_initial_var_dfs)
INPUT_KEY (runtime.constants.CFG attribute)
INPUT_METHOD (runtime.constants.CFG attribute)
is_reg (base.signals.Signal attribute)
is_root (base.nodes.Node attribute)
is_signed (base.signals.Signal attribute)
isdir() (in module utils.shutil2)
isfile() (in module utils.shutil2)
islink() (in module utils.shutil2)
J
join() (in module utils.shutil2)
L
linktree() (in module utils.shutil2)
listdirs() (in module utils.shutil2)
listfiles() (in module utils.shutil2)
listModules() (ext_tools.ext_tools.ExtTools static method)
(in module ext_tools.yosys_interface)
LOG (class in runtime.constants)
LOG_FILE (runtime.constants.LOG attribute)
M
max_value (base.metrics.error_metric.ErrorMetric attribute)
MCTS (class in search.search_mcts)
MCTS.CFG (class in search.search_mcts)
measureTime() (utils.timing_util.TimestampCollector method)
(utils.timing_util.TimestampManager method)
methodId() (approximation.approx_method.ApproxMethod static method)
(approximation.approx_method_aig.ApproximatorAIG static method)
(approximation.approx_method_ps.ApproximatorPS static method)
METHODS_KEYWORD (runtime.constants.APPROX attribute)
metricId() (base.metrics.error_bf.BitFlipError static method)
(base.metrics.error_bm.BitMaskError static method)
(base.metrics.error_metric.ErrorMetric static method)
(base.metrics.error_rel.RelativeError static method)
(base.metrics.error_wc.WorstCaseError static method)
mkdir() (in module utils.shutil2)
MODULE_NAME (front_end.front_end_anno_cand.AnnotatedCandidates.ANNOTATION_REGEX_GROUP attribute)
MODULE_PORTS (front_end.front_end_anno_cand.AnnotatedCandidates.ANNOTATION_REGEX_GROUP attribute)
ModuleCand (class in base.candidates)
N
name (base.candidates.Candidate attribute)
(base.circuits.Circuit attribute)
(base.signals.Signal attribute)
NAME_Q (runtime.constants.SQCC attribute)
NAME_VALID (runtime.constants.SQCC attribute)
node (base.circuits.Circuit attribute)
Node (class in base.nodes)
O
opt() (in module ext_tools.abc_interface)
OPTIONS_KEYWORD (runtime.constants.APPROX attribute)
orig_design (base.information.GeneralInformation attribute)
orig_design_blif (base.information.GeneralInformation attribute)
orig_design_path (base.information.GeneralInformation attribute)
orig_design_verilog (base.information.GeneralInformation attribute)
orig_var (base.candidates.Candidate attribute)
Output (class in output.output)
OUTPUT (runtime.constants.DIRS attribute)
output.output (module)
output.output_best_area (module)
output.output_dummy (module)
output.output_factory (module)
output_dir (base.information.GeneralInformation attribute)
OUTPUT_METHOD (runtime.constants.CFG attribute)
OutputBestArea (class in output.output_best_area)
OutputFactory (class in output.output_factory)
P
parent (base.nodes.Node attribute)
parseOption() (utils.cfg_util.CfgParser static method)
parseQualityConstraintSpecifier() (in module utils.cfg_util)
parsers (utils.cfg_util.CfgParser attribute)
path (base.candidates.CandidateSet attribute)
(base.circuits.ApproximatedCircuits attribute)
(base.circuits.Circuit attribute)
(base.variants.Variant attribute)
(base.variants.VariantSet attribute)
path_template (approximation.approx_method.ApproxMethod attribute)
pdr() (in module ext_tools.abc_interface)
performApproximations() (approximation.approximation.Approximation method)
pis (base.candidates.Candidate attribute)
(base.information.GeneralInformation attribute)
popNextNode() (search.search.Search method)
(search.search_gradient_descent.GradientDescent method)
(search.search_initial_var_dfs.InitialVariantDFS method)
(search.search_mcts.MCTS method)
(search.search_simulated_annealing.SimulatedAnnealing method)
pos (base.candidates.Candidate attribute)
(base.information.GeneralInformation attribute)
PRECISION_SCALING (runtime.constants.APPROX attribute)
precisionScaling() (ext_tools.ext_tools.ExtTools static method)
(in module ext_tools.abc_interface)
process() (front_end.front_end.FrontEnd method)
(front_end.front_end_anno_cand.AnnotatedCandidates method)
(output.output.Output method)
(output.output_best_area.OutputBestArea method)
(output.output_dummy.DummyOutput method)
(utils.logutils.IndentationAdapter method)
Q
QA_CIRCUIT_TYPE (runtime.constants.CFG attribute)
QA_METHOD (runtime.constants.CFG attribute)
QA_OUTPUT_CONCAT (runtime.constants.CFG attribute)
QA_OUTPUT_SIGNAL (runtime.constants.CFG attribute)
QA_OUTPUT_SIGNED (runtime.constants.CFG attribute)
QA_QCS (runtime.constants.CFG attribute)
QA_RESET_HIGH_ACTIVE (runtime.constants.CFG attribute)
QA_RESET_SIGNAL (runtime.constants.CFG attribute)
QA_START_HIGH_ACTIVE (runtime.constants.CFG attribute)
QA_START_SIGNAL (runtime.constants.CFG attribute)
QA_VALID_SIGNAL (runtime.constants.CFG attribute)
QC (class in runtime.constants)
quality_assurance.quality_assurance (module)
quality_assurance.quality_assurance_abc_dprove (module)
quality_assurance.quality_assurance_abc_pdr (module)
quality_assurance.quality_assurance_ic3 (module)
quality_constraints (base.candidates.Candidate attribute)
QualityAssurance (class in quality_assurance.quality_assurance)
R
readFiles() (ext_tools.ext_tools.ExtTools static method)
(in module ext_tools.yosys_interface)
RELATIVE (runtime.constants.QC attribute)
RelativeError (class in base.metrics.error_rel)
relpath() (in module utils.shutil2)
remove() (base.candidates.CandidateSet method)
(in module utils.shutil2)
removeModules() (in module utils.verilog_utils)
rename() (in module utils.shutil2)
renameModule() (ext_tools.ext_tools.ExtTools static method)
(in module ext_tools.yosys_interface)
replaceModules() (ext_tools.ext_tools.ExtTools static method)
(in module ext_tools.yosys_interface)
rmtree() (in module utils.shutil2)
RND (search.search_gradient_descent.GradientDescent.SEL_STRATEGY attribute)
RUN_TO_COMPLETION (runtime.constants.CIRCUIT_TYPE attribute)
runCmd() (in module ext_tools.abc_interface)
runCompiledVerilog() (ext_tools.ext_tools.ExtTools static method)
(in module ext_tools.iverilog_interface)
runScript() (in module ext_tools.abc_interface)
(in module ext_tools.yosys_interface)
runtime.constants (module)
S
SCALER (search.search_mcts.MCTS.CFG attribute)
Search (class in search.search)
search.search (module)
search.search_gradient_descent (module)
search.search_initial_var_dfs (module)
search.search_mcts (module)
search.search_simulated_annealing (module)
SEARCH_METHOD (runtime.constants.CFG attribute)
SECTION_APPROX (runtime.constants.CFG attribute)
SECTION_ESTIMATION (runtime.constants.CFG attribute)
SECTION_GENERAL (runtime.constants.CFG attribute)
SECTION_INPUT (runtime.constants.CFG attribute)
SECTION_OUTPUT (runtime.constants.CFG attribute)
SECTION_QA (runtime.constants.CFG attribute)
SECTION_SEARCH (runtime.constants.CFG attribute)
SEL_STRATEGY (search.search_gradient_descent.GradientDescent.CFG attribute)
separateModules() (in module utils.verilog_utils)
setTimerStart() (utils.timing_util.TimestampCollector method)
(utils.timing_util.TimestampManager method)
settings (approximation.approx_method.ApproxMethod attribute)
setup() (approximation.approximation.Approximation method)
(front_end.front_end.FrontEnd method)
(front_end.front_end_anno_cand.AnnotatedCandidates method)
(output.output.Output method)
(output.output_best_area.OutputBestArea method)
(output.output_dummy.DummyOutput method)
(quality_assurance.quality_assurance.QualityAssurance method)
(quality_assurance.quality_assurance_abc_dprove.ABCDprove method)
(search.search.Search method)
(search.search_gradient_descent.GradientDescent method)
(search.search_initial_var_dfs.InitialVariantDFS method)
(search.search_mcts.MCTS method)
(search.search_simulated_annealing.SimulatedAnnealing method)
Signal (class in base.signals)
SimulatedAnnealing (class in search.search_simulated_annealing)
SimulatedAnnealing.CFG (class in search.search_simulated_annealing)
SimulatedAnnealing.HEURISTIC (class in search.search_simulated_annealing)
size (base.signals.Signal attribute)
SQCC (class in runtime.constants)
state (base.nodes.Node attribute)
stats (base.nodes.Node attribute)
step (base.metrics.error_metric.ErrorMetric attribute)
STREAMING (runtime.constants.CIRCUIT_TYPE attribute)
SUPPORTED (search.search_gradient_descent.GradientDescent.SEL_STRATEGY attribute)
(search.search_simulated_annealing.SimulatedAnnealing.HEURISTIC attribute)
SUPPORTED_AMS (runtime.constants.APPROX attribute)
SUPPORTED_APP_METHODS (approximation.approximator_factory.ApproximatorFactory attribute)
SUPPORTED_CIRCUIT_TYPES (quality_assurance.quality_assurance_abc_dprove.ABCDprove attribute)
SUPPORTED_ERROR_METRICS (approximation.approximation.Approximation attribute)
(base.metrics.error_metric_factory.ErrorMetricFactory attribute)
(quality_assurance.quality_assurance_abc_dprove.ABCDprove attribute)
SUPPORTED_QCS (runtime.constants.QC attribute)
SUPPORTED_SUBCLASSES (front_end.front_end_factory.FrontEndFactory attribute)
(output.output_factory.OutputFactory attribute)
symlink() (in module utils.shutil2)
synthesize() (ext_tools.ext_tools.ExtTools static method)
T
T_MIN (search.search_simulated_annealing.SimulatedAnnealing.CFG attribute)
techmap() (in module ext_tools.yosys_interface)
TEMPLATES (runtime.constants.DIRS attribute)
tic() (utils.timing_util.TimestampCollector method)
(utils.timing_util.TimestampManager method)
timestamp() (utils.timing_util.TimestampCollector method)
(utils.timing_util.TimestampManager method)
TimestampCollector (class in utils.timing_util)
TimestampManager (class in utils.timing_util)
timestamps (utils.timing_util.TimestampCollector attribute)
timing (base.information.GeneralInformation attribute)
toc() (utils.timing_util.TimestampCollector method)
(utils.timing_util.TimestampManager method)
top_module (base.information.GeneralInformation attribute)
(quality_assurance.quality_assurance_abc_dprove.ABCDprove attribute)
TOP_MODULE (runtime.constants.SQCC attribute)
trimext() (in module utils.shutil2)
U
undoBitBlasting() (in module utils.verilog_utils)
utcSelect() (search.search_mcts.MCTS method)
utils.cfg_util (module)
utils.logutils (module)
utils.shutil2 (module)
utils.timing_util (module)
utils.verilog_utils (module)
V
valid (base.circuits.Circuit attribute)
(base.nodes.Node attribute)
validateCircuit() (quality_assurance.quality_assurance.QualityAssurance method)
(quality_assurance.quality_assurance_abc_dprove.ABCDprove method)
(quality_assurance.quality_assurance_abc_pdr.ABCPdr method)
(quality_assurance.quality_assurance_ic3.IC3 method)
validated (base.circuits.Circuit attribute)
(base.nodes.Node attribute)
Variant (class in base.variants)
variant_set (base.information.GeneralInformation attribute)
variant_set_path (base.information.GeneralInformation attribute)
variants_path (base.candidates.Candidate attribute)
VariantSet (class in base.variants)
verilogToBlif() (ext_tools.ext_tools.ExtTools static method)
(in module ext_tools.yosys_interface)
W
walk() (in module utils.shutil2)
WORST_CASE (runtime.constants.QC attribute)
WorstCaseError (class in base.metrics.error_wc)
Read the Docs
v: master
Versions
master
latest
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.