Formalizing On Chip Communications in a Functional Style.

Julien Schmaltz Dominique Borrione

Published in: Trustworthy Software (2006)

Keyphrases

functional verification
high speed
low cost
communication systems
functional analysis
analog vlsi
communication networks
single chip
data mining
computer systems
human brain
high density
circuit design
communication patterns
modular design