The UniTESK Approach to Specification-Based Validation of Hardware Designs.

Alexander Kamkin

Published in: ISoLA (2006)

Keyphrases

hardware designs
specification language
high level
formal specification
model based diagnosis
e learning
genetic algorithm
data model
scheduling problem
programming language
conceptual model
formal methods
model validation