Automated hierarchical testable design door Kraak