Formal reasoning about switch-level MOS descriptions.

Published in: Microprocess. Microprogramming (1987)

Keyphrases

high speed
higher level
high level
formal model
image processing
data sets
video sequences
expert systems
model checking
knowledge level
formal representation