US 12,032,460 B2
Systems and methods to test an asynchronous finite machine
Enea Dimroci, Borgo San Dalmazzo (IT); Francesca Giacoma Mignemi, S. Giovanni la Punta (IT); Roberta Priolo, Gravina di Catania (IT); Marco Leo, Milan (IT); and Francesco Battini, Milan (IT)
Assigned to STMicroelectronics S.r.l., Agrate Brianza (IT)
Filed by STMicroelectronics S.r.l., Agrate Brianza (IT)
Filed on Feb. 11, 2022, as Appl. No. 17/670,055.
Prior Publication US 2023/0259433 A1, Aug. 17, 2023
Int. Cl. G06F 11/273 (2006.01); G06F 11/26 (2006.01)
CPC G06F 11/26 (2013.01) [G06F 11/273 (2013.01)] 20 Claims
OG exemplary drawing
 
1. A method to test an asynchronous finite state machine (AFSM) for faults, the method comprising:
disabling state transitions out of a state of the AFSM for a duration corresponding to loading of test data into a test register of a system, the system used to test the AFSM;
inputting the test data to the AFSM to trigger a transition from the state to an expected state; and
determining whether the AFSM has performed a successful transition to the expected state.