Specification of an Asynchronous On-chip Bus.

Juha Plosila Tiberiu Seceleanu

Published in: ICFEM (2002)

Keyphrases

high speed
state machines
asynchronous circuits
low cost
high level
delay insensitive
high density
vlsi design
state machine
real time
formal specification
circuit design
analog vlsi
database
asynchronous communication
discussion forums
specification language
formal methods
low power
data model
data sets