Microprocessor System Design: Three Key Technologies For Embedded Systems
Microprocessor System Design: Three Key Technologies For Embedded Systems
Processor technology
IC technology
Microprocessor System Design Design technology
EHB432E
Lecture -2
Link
Prof. Dr. Müştak E. Yalçın (İTÜ) MSD January, 2016 3 / 20 Prof. Dr. Müştak E. Yalçın (İTÜ) MSD January, 2016 4 / 20
General-purpose processors Single-purpose processors
Prof. Dr. Müştak E. Yalçın (İTÜ) MSD January, 2016 5 / 20 Prof. Dr. Müştak E. Yalçın (İTÜ) MSD January, 2016 6 / 20
Prof. Dr. Müştak E. Yalçın (İTÜ) MSD January, 2016 7 / 20 Prof. Dr. Müştak E. Yalçın (İTÜ) MSD January, 2016 8 / 20
Design Technology Design Technology
Designers must spend much time and e↵ort simply understanding and
describing the desired behaviour of a system, and some studies have found
that most system bugs come from mistakes made describing the desired
behaviour rather than from mistakes in implementing that behaviour.
Prof. Dr. Müştak E. Yalçın (İTÜ) MSD January, 2016 9 / 20 Prof. Dr. Müştak E. Yalçın (İTÜ) MSD January, 2016 10 / 20
Example :
”Move the elevator either up or down to reach the target floor. Once at
the target floor, open the door for at least 10 seconds, and keep it open
until the target floor changes. Ensure the door is never open while moving.
Don’t change directions unless there are no higher requests when moving
up or no lower requests when moving down.”
Prof. Dr. Müştak E. Yalçın (İTÜ) MSD January, 2016 11 / 20 Prof. Dr. Müştak E. Yalçın (İTÜ) MSD January, 2016 12 / 20
Inputs: int floor; bit b1..bN; up1..upN-1; dn2..dnN; Behavioural Specification
Outputs: bit up, down, open;
Global variables: int req;