Login / Signup
Symbolic debugging of embedded hardware and software.
Farinaz Koushanfar
Darko Kirovski
Inki Hong
Miodrag Potkonjak
Marios C. Papaefthymiou
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2001)
Keyphrases
</>
hardware and software
low cost
embedded processors
computer systems
embedded systems
hardware software
real time
databases
smart card
object oriented
database
information systems
computational complexity
data processing
software systems
programmable logic controller