Verification and revision of the power-down mode for hierarchical analog circuits.

Maximilian Neuner Helmut Graeb

Published in: Integr. (2020)

Keyphrases

analog circuits
fault diagnosis
digital circuits
model checking
bi directional
neural network
power dissipation
power consumption
wavelet packet transform
decision making
hierarchical structure
belief change
dynamical systems
coarse to fine
verification method