Understand digital computing fundamentals

Design reliable digital systems using logic and state machines

Building systems where correctness cannot be patched after deployment (aerospace, medical, critical infrastructure).

• · system specification
• · timing constraints
• · reliability/MTBF requirements

• · circuit design
• · state diagrams
• · VHDL/Verilog HDL
• · timing and reliability analysis

• · synthesis tools
• · simulation engines
• · timing analyzer
• · place-and-route tools

Boolean logic understanding; sequential circuit knowledge; hardware design experience

• · Clock domain crossing violations
• · Race conditions in logic
• · Setup/hold time violations
• · Metastability in synchronizers not handled

• · Timing constraints formally specified
• · State machine formalism enforced
• · Metastability handling detailed