A compound I such as ammonium N–N-imide is reacted with hydrogen fluoride to obtain a compound II such as ammonium N,N-diimide. In some examples, a device model of the integrated circuit is generated in at least one first computer file, the device model having a component hierarchy. During the calculation step, the sequence is progressed through at increments of at least one time interval and at least one bit period, using a matrix calculation of the synchronisation value.