Behavioral synthesis with SystemC and PSL assertions for interface specification.

George Economakos

Published in: ISCAS (2006)

Keyphrases

high level
visual interface
user friendly
specification language
program synthesis
knowledge base
friendly interface
user interface
direct manipulation
website
search algorithm
formal specification
functional programs