Verifying a smart design of TCAP a

by Thomas Arts , Izak Van Langevelde