Toggle Main Menu Toggle Search

Open Access padlockePrints

Tools and Methods for Selection of Relative Timing Constraints in Asynchronous Circuits, and Asynchronous Circuits Made Thereby

Lookup NU author(s): Dr Victor Khomenko, Dr Danil Sokolov, Professor Alex Yakovlev


Full text is not currently available for this publication.


A method of selecting relative timing constraints for enforcing in an asynchronous circuit is presented. The method includes selecting one or more sets of relative timing constraints, which include a first set of relative timing constraints, wherein the first set of relative timing constraints meets the following criteria: i) the first set is suitable for preventing the asynchronous circuit from entering two or more bad states in which a correctness property of the asynchronous circuit is violated, and ii) the first set comprises a plurality of relative timing constraints, wherein each relative timing constraint within the first set is associated with a bad state whose associated relative timing constraints comprise this relative timing constraint but no other relative timing constraint that is implied by another relative timing constraint in the first set.

Publication metadata

Inventor(s): Khomenko V, Sokolov D, Yakovlev A

Publication type: Patent

Publication status: Published

Year: 2020

Acceptance date: 17/11/2020

Country: USA