Design automation : making formal methods relevant