Design for Verification of the PCI-X Bus.

Haja Moinudeen Ali Habibi Sofiène Tahar

Published in: FMCAD (2006)

Keyphrases

high speed
computer aided
information systems
user interface
database
website
building blocks
genetic algorithm
case study
database systems
multi agent
knowledge based systems
formal methods