Login / Signup
Hardware/software co-verification in ATM.
Giovanni Mancini
Published in:
HLSS (1994)
Keyphrases
</>
hardware software
hardware and software
hw sw
embedded systems
high performance computing
design methodology
multi core processors
hardware design
hardware software partitioning
model checking
formal methods
fuzzy logic
general purpose
computer systems
parallel computing
field programmable gate array