20
CS269: HW/SW Engineering of Embedded Systems, Winter02
Challenge for embedded system design
(I.e. CS269)
How to specify?
Languages and models
VHDL, C, Java, FSM, PN, Matlab,
Framework (IDE)
Executable Spec
Design
Files
(Netlist,
Code)
How to verify?
Prototype, simulation, co-simulation,
formal verification, model-checking,
theorem proving
How to synthesize/optimize?
Interface Synthesis
CAD Algorithm, Compiler Technology
Logic synthesis, BDD, ATPG, GNU
Architectural selection/Allocation,
mapping
Scheduling/arbitration
