Formal synthesis of circuits with a simple handshake protocol.

Ramayya Kumar Thomas Kropf Klaus Schneider

Published in: VLSI Design (1995)

Keyphrases

formal analysis
lightweight
database
neural network
high speed
formal model
formal methods
delay insensitive