A hybrid numeric/symbolic program for checking functional and timing compatibility of synthesized designs.

Chih-Tung Chen Alice C. Parker

Published in: HLSS (1994)

Keyphrases

symbolic data
numeric attributes
high level
static analysis
program execution
data mining
symbolic representation
hybrid approaches
real world
machine learning
face recognition
online learning
boolean functions
asynchronous circuits