A High-Performance On-Chip Bus (MSBUS) Design and Verification.

Xiaokun Yang Jean H. Andrian

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2015)

Keyphrases

functional verification
high speed
single chip
low power consumption
design process
high density
low cost
engineering design
programmable logic
real time
user interface
embedded systems
formal methods
computer architecture
model checking
vlsi design
wireless sensor networks
chip design
information systems