Semantics of a verification-oriented subset of VHDL.

David Déharbe Dominique Borrione

Published in: CHARME (1995)

Keyphrases

formal semantics
model checking
hardware implementation
face recognition
semantic information
circuit design
concurrent systems
argumentation semantics
genetic algorithm
information systems
image processing
query language
default reasoning
operational semantics
fingerprint verification
asynchronous circuits