Login / Signup
Identification of Logic Paths Influenced by Severe Coupling Capacitances.
Ivan D. Meza-Ibarra
Víctor H. Champac
Roberto Gómez-Fuentes
Jose R. Noriega-Luna
A. Vera-Marquina
Published in:
J. Electron. Test. (2020)
Keyphrases
</>
predicate logic
neural network
logic programming
modal logic
database
genetic algorithm
person identification
identification rate
sound and complete axiomatization
theorem prover
path finding
classical logic
asynchronous circuits
dynamic logic