Optimizing finite state machines for system-on-chip communication.

Vesa Lahtinen Kimmo Kuusilinna Timo Hämäläinen

Published in: ISCAS (1) (2002)

Keyphrases

finite state machines
model checking
finite state automata
embedded systems
communication systems
database
hidden markov models
power consumption
hardware and software
computer networks
communication technologies
information extraction
information sharing
digital circuits
mutation testing