A Symbolic Simulation-Based Methodology for Generating Black-Box Timing Models of Custom Macrocells.

Clayton B. McDonald Randal E. Bryant

Published in: ICCAD (2001)

Keyphrases

black box
metamodel
black boxes
probabilistic model
hybrid systems
mathematical models
state transition
integration testing
high level
data sets
artificial intelligence
statistical methods
connectionist models