1 coe 561 digital system design & synthesis introduction dr aiman h el maleh computer engineering department king fahd university of petroleum minerals 2 outline course topics microelectronics styles domains and levels abstractions process optimization 3 semiconductor technologies microelectronic representations abstraction y chart issues in 0 5 week modeling systems to hardware description languages hdls using vhdl basic concepts language elements behavioral dataflow structural some examples weeks logic 6 boolean functions representation binary decision diagrams satisfiability cover problems 4 two level minimization principles exact heuristic the espresso minimizer testability properties circuits multi models transformations combinational networks elimination decomposition extraction algebraic model divisors kernel set computation don t care conditions their computations input