Login / Signup
A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level.
Evgeny Pavlenko
Markus Wedler
Dominik Stoffel
Wolfgang Kunz
Oliver Wienand
Evgeny Karibaev
Published in:
FDL (Selected Papers) (2008)
Keyphrases
</>
data mining
information systems
computer vision
model checking
signature verification
databases
image sequences
expert systems
general purpose
operating system