Formale Verifikation eines funktionalen VHDL Modells der J1850 Busarbitrierung.

Nikolaus Lange Matthias Mutz

Published in: MBMV (1998)

Keyphrases

hardware implementation
hardware design
circuit design
hardware description language
model based diagnosis
fpga implementation
case study
multiscale
machine learning
integrated circuit
neural network
computer vision
cooperative
efficient implementation