Login / Signup
A Methodology for the Verification of a "System on Chip".
Daniel Geist
Giora Biran
Tamarah Arons
Michael Slavkin
Yvgeny Nustov
Monica Farkas
Karen Holtz
Andy Long
Dave King
Steve Barret
Published in:
DAC (1999)
Keyphrases
</>
design methodology
formal methods
hardware and software
formal verification
multiscale
data structure
embedded systems
model checking
power consumption
computer systems
concurrent systems
databases
software development
multi agent systems
image processing
information systems
genetic algorithm