A functional formalization of on chip communications.

Julien Schmaltz Dominique Borrione

Published in: Formal Aspects Comput. (2008)

Keyphrases

functional verification
high speed
low cost
communication networks
communication systems
multiple access
solid models
knowledge representation
high density
analog vlsi
physical design
vlsi implementation
functional properties
circuit design
functional units
database
image processing
data sets