Computer Aided Structured Design for Testability of ASlCs