6.2.1. Analysis of clocked sequential circuits Notes | Digital Logic BSC-CSIT | TU | TABFlux