Automatic timers Circuits électriques Computer programs Computer software Electric circuits Field programmable gate arrays Logiciels Minuteries Networks on a chip Réseaux logiques programmables par l'utilisateur Réseaux sur puce Timing circuits Verification Vérification analogue circuits asynchronous circuits circuits field programmable gate arrays formal verification high-speed integrated circuits network-on-chip radiation hardening (electronics) timing circuits