Efficient Automata-Based Assertion-Checker Synthesis of PSL Properties.

Marc Boule Zeljko Zilic

Published in: HLDVT (2006)

Keyphrases

desirable properties
structural properties
databases
artificial intelligence
multiscale
preprocessing
computationally efficient
cost effective