Introduit des structures de contrôle dans la programmation C, couvrant les branches, les boucles et les meilleures pratiques pour écrire du code clair.
Découvrez les principes d'économie d'énergie dans les réseaux de capteurs sans fil, en explorant des applications motivantes et des algorithmes intelligents pour l'efficacité énergétique.
Examine la vérification formelle des conceptions de Chisel à l'aide de résolveurs SMT et couvre des exemples tels que les assertions différées et les preuves par induction.
Explore les concepts de contrôle hiérarchique en robotique, y compris la commutation, la hiérarchisation et les chaînes d'information, pour atteindre des comportements robotiques complexes.
