Knowledge Based Approach for the Verification of CAD Database Generated by an Automated Schematic Capture System.
J. Y. TouW. H. KiK. C. FanC. L. HuangPublished in: DAC (1987)
Keyphrases
- database
- domain knowledge
- databases
- computer aided
- database systems
- knowledge base
- model checking
- database applications
- fully automated
- database management systems
- knowledge based systems
- computer assisted
- knowledge extraction
- expert systems
- semi automated
- learning algorithm
- knowledge management
- relational databases
- higher level
- background knowledge
- data management
- automatically generated
- computer aided design
- formal verification
- design process
- object oriented
- knowledge discovery
- knowledge representation
- query language
- artificial intelligence
- neural network
- data sets