You're looking for an introduction to embedded systems and possibly a solution manual for the book "Embedded Systems: Real-Time Application Programming for ARM Cortex-M Microcontrollers" by Jonathan W. Valvano and, or a similar text by Lee Seshia.
Given a synchronous circuit description, write down the reaction function and compute fixed points for each tick. introduction to embedded systems lee seshia solution manual
The book "Embedded Systems: Real-Time Application Programming for ARM Cortex-M Microcontrollers" by Jonathan W. Valvano provides a comprehensive introduction to embedded systems, focusing on the ARM Cortex-M microcontroller architecture. The textbook covers: You're looking for an introduction to embedded systems
The text bridges sequential software semantics with the concurrent, continuous nature of the physical world. Navigating the Solution Manual introduction to embedded systems lee seshia solution manual
Canada International Center CIC