Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers.
Bernard SchmidtSlava BulachKatharina WeinbergerMarkus WedlerPublished in: MBMV (2008)
Keyphrases
- low cost
- hardware and software
- special case
- real time
- computer systems
- computational power
- vlsi implementation
- personal computer
- situation calculus
- computing systems
- standard pc
- parallel hardware
- random number generator
- software implementation
- hardware architecture
- single chip
- hardware design
- embedded systems
- database systems