Reasoning About Analog-Level Implementations of Digital Systems.

Published in: Formal Methods Syst. Des. (2000)

Keyphrases

neural network
complex systems
database systems
circuit design
digital circuits
information retrieval
learning algorithm
case study
low cost
distributed systems
learning systems
digital content
digital objects
abstraction levels