Formal Approach to the RTL Testability Analysis.

Zdenek Kotásek Richard Ruzicka Jan Hlavicka

Published in: LATW (2000)

Keyphrases

statistical analysis
three dimensional
wide range
data analysis
quantitative analysis
real world
machine learning
computer vision
web services
multi agent systems
formal model
formal methods
formal analysis