שליחה במסרון: ACM transactions on design automation of electronic systems.