Cell library and method for designing an asynchronous integrated circuit

A method comprising steps of:

• providing, in a synchronous integrated circuit design assistance tool implemented by a computer, a library of cells comprising at least one cell having parameters of signal propagation between a first terminal (A) and a second terminal (R) and between the second terminal (R) and a third terminal (Z) depending on the parameter of signal propagation between the first and the third terminal;
• synthesizing, in the synchronous integrated circuit design assistance tool implemented by a computer, a synchronous integrated circuit corresponding to the asynchronous integrated circuit by using said cell to represent a portion of the asynchronous circuit, and wherein said cell is rated by a dummy clock signal supplied to the second terminal;
• and
• verifying, in the synchronous integrated circuit design assistance tool implemented by a computer, the synthesized integrated circuit by using the parameter of signal propagation between the first terminal and the third terminal to simulate the operation of said portion of the asynchronous circuit.