Browse by author
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.
Inventor(s): Khomenko V, Sokolov D, Yakovlev A
Publication type: Patent
Publication status: Published
Acceptance date: 17/11/2020