Architectural verification