Symbolic RTL Simulation.

Alfred Kölbl James H. Kukula Robert F. Damiano

Published in: DAC (2001)

Keyphrases

data sets
databases
real world
high level
information retrieval
knowledge base
case study
three dimensional
mathematical model
numerical simulations
mathematical models
analytical model
collision detection