Login / Signup

Constrained Conservative State Symbolic Co-analysis for Ultra-low-power Embedded Systems.

Shashank HegdeSubhash SethumuruganHari CherupalliHenry DuweJohn Sartori
Published in: ASP-DAC (2021)
Keyphrases
  • embedded systems
  • low cost
  • computing power
  • processing power
  • field programmable gate array
  • resource limited
  • software systems
  • real time systems
  • embedded software