Behavioral Modeling of IC Output Buffers: a case study