ESTA: an expert system for DFT rule verification.
Paolo CamuratiPaolo GianoglioRenato GianoglioPaolo PrinettoPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1988)
Keyphrases
- expert systems
- frequency domain
- discrete fourier transform
- fourier transform
- knowledge base
- inference engine
- signal processing
- rule sets
- signature verification
- genetic programming
- evolutionary algorithm
- association rules
- asynchronous circuits
- databases
- functional verification
- formal verification
- verification method
- real time
- rule learning
- active databases
- decision rules
- knowledge acquisition
- website
- information systems
- data sets