Index
261
D
Davis–Putnam–Logemann–Loveland
algorithm, 107
Debugging circuits, 4
Decimal equivalents, 55, 56
Decision procedures, 3–4
Decomposition-based ESOP synthesis, 181
Derivative operations, 51
BV, 66–68
IDM, 65–67
k-fold derivative operation, 76–81
single derivative operation, 72–76
vectorial derivative operation, 65–66 (see
also Vectorial derivative operation)
Differential power analysis (DPA), 26–27
Digital systems
adaptability, 1
autonomy, 1
causation, 3
cause–effect chain, 2
complex programs, 4
data exchange, 2
debugging circuits, 4
debugging task, 2
decision procedures, 3–4
dynamic dependency graphs, 4
implementation cost, 3
robot controller, 10, 11
abstracted reasoning, 15
CTL, 15
encoding explanations, 15
explanations extract, 13
functional units, 11
implementation sizes, 13, 14
LTL, 16
“main” module, 16–17
observable actions, 12
power module, 12
reproducible explanations, 12
sensor module, 12
specification, 11
Verilog modules, 14
self-awareness, 4
self-explanation, 4–5
approach, 5
asynchronous distributed system, 6, 7
automated inference, 18
causation, 7
cause–effect chain, 5
cyber-physical system, 6
extending explanations, 17–18
implementation, 8–9
index function, 6
input action, 6
message-based events, 7
observable action, 6, 8
run-time reconfiguration, 6
system model, 6
types, explanations, 10
verification and validation, 9–10
“window broken” event, 7
verification methodology, 4
Discrete Gaussian distribution, 25–26
Discrete Walsh functions, 88
Discrete Walsh transform, 85
Disjoint-support decomposition (DSD),
137
Distribution axiom, 139, 141
Dyadic derivatives, see Gibbs dyadic derivative
E
Electronic design automation (EDA) tool,
239
Environment-defined explanation, 10
Exclusive-or sum-of-products (ESOP)
care function, 180
cost reduction, 177
exact methods, 178
Galois field, 179
heuristic methods, 178
LUTs, 179
minterm, 180
OFF-set, 177
ON-set, 177
product terms distance, 180
quantum computation
logic synthesis, 185
optimization techniques, 185
quantum circuit, 186
reversible logic synthesis, 186–188
SAT exact synthesis, 178, 179 (see also
Boolean satisfiability (SAT) exact
synthesis)
tabular-based methods, 178
Exorcism approach, 178
Extendable-output function (XOF), 23
Extrapolation, cycle structures
balanced functions, 224–225
NPNP classes, 223, 224
PPRMs expressions, 223, 224
RevFunCFLVs, 226
F
Floating-point unit (FPU), 40
Fourier transform, 24
Fujisaki–Okamoto (FO) transformation, 27
261
D
Davis–Putnam–Logemann–Loveland
algorithm, 107
Debugging circuits, 4
Decimal equivalents, 55, 56
Decision procedures, 3–4
Decomposition-based ESOP synthesis, 181
Derivative operations, 51
BV, 66–68
IDM, 65–67
k-fold derivative operation, 76–81
single derivative operation, 72–76
vectorial derivative operation, 65–66 (see
also Vectorial derivative operation)
Differential power analysis (DPA), 26–27
Digital systems
adaptability, 1
autonomy, 1
causation, 3
cause–effect chain, 2
complex programs, 4
data exchange, 2
debugging circuits, 4
debugging task, 2
decision procedures, 3–4
dynamic dependency graphs, 4
implementation cost, 3
robot controller, 10, 11
abstracted reasoning, 15
CTL, 15
encoding explanations, 15
explanations extract, 13
functional units, 11
implementation sizes, 13, 14
LTL, 16
“main” module, 16–17
observable actions, 12
power module, 12
reproducible explanations, 12
sensor module, 12
specification, 11
Verilog modules, 14
self-awareness, 4
self-explanation, 4–5
approach, 5
asynchronous distributed system, 6, 7
automated inference, 18
causation, 7
cause–effect chain, 5
cyber-physical system, 6
extending explanations, 17–18
implementation, 8–9
index function, 6
input action, 6
message-based events, 7
observable action, 6, 8
run-time reconfiguration, 6
system model, 6
types, explanations, 10
verification and validation, 9–10
“window broken” event, 7
verification methodology, 4
Discrete Gaussian distribution, 25–26
Discrete Walsh functions, 88
Discrete Walsh transform, 85
Disjoint-support decomposition (DSD),
137
Distribution axiom, 139, 141
Dyadic derivatives, see Gibbs dyadic derivative
E
Electronic design automation (EDA) tool,
239
Environment-defined explanation, 10
Exclusive-or sum-of-products (ESOP)
care function, 180
cost reduction, 177
exact methods, 178
Galois field, 179
heuristic methods, 178
LUTs, 179
minterm, 180
OFF-set, 177
ON-set, 177
product terms distance, 180
quantum computation
logic synthesis, 185
optimization techniques, 185
quantum circuit, 186
reversible logic synthesis, 186–188
SAT exact synthesis, 178, 179 (see also
Boolean satisfiability (SAT) exact
synthesis)
tabular-based methods, 178
Exorcism approach, 178
Extendable-output function (XOF), 23
Extrapolation, cycle structures
balanced functions, 224–225
NPNP classes, 223, 224
PPRMs expressions, 223, 224
RevFunCFLVs, 226
F
Floating-point unit (FPU), 40
Fourier transform, 24
Fujisaki–Okamoto (FO) transformation, 27