Journal: Design Autom. for Emb. Sys.