Design for verification of a PCI bus in SystemC.

Karim Oumalou Ali Habibi Sofiène Tahar

Published in: SoC (2004)

Keyphrases

high speed
design process
database
user interface
knowledge based systems
design methodology
information systems
web services
multiscale
multi agent systems
design decisions
formal verification
functional verification