Simulation-guided property checking based on a multi-valued AR-automata.

Jürgen Ruf Dirk W. Hoffmann Thomas Kropf Wolfgang Rosenstiel

Published in: DATE (2001)

Keyphrases

multi valued
single valued
augmented reality
multiple valued
complex valued
boolean functions
logic synthesis
databases
optimal solution
special case