Modeling a new RTL semantics in C++.

Shuqing Zhao Daniel Gajski

Published in: ISCAS (5) (2002)

Keyphrases

semantic representation
neural network
domain knowledge
semantic information
database
genetic algorithm
information systems
model based diagnosis
default reasoning