Design Validation at NABL