The input/output specifications analyzer for IC designs