A RTL Testability Analyzer Based on Logical Virtual Prototyping.

Yu Huang Nilanjan Mukherjee Wu-Tung Cheng Greg Aldrich

Published in: ATS (2007)

Keyphrases

virtual environment
augmented reality
virtual reality
virtual world
data sets
logical representation
logical reasoning
logical properties
test data generation
probabilistic logic
design process
relational databases
information technology
data structure
image processing
e learning
databases