PSL assertion checkers synthesis with ASM based HLS tool ABELITE.

Maksim Jenihhin Samary Baranov Jaan Raik Valentin Tihhomirov

Published in: LATW (2012)

Keyphrases

active shape model
computer vision
database
data mining
artificial intelligence
software tools
real time
e learning
decision trees
multi agent
search algorithm
input image
analysis tool