CONFIRM: Automatic firmware design for application-specific electronic systems