design digital digital design digital electronics electronic engineering electronic design automation hardware description languages logic design logic simulation verilog aldec verilog-ams logic abstraction academia philosophy mathematical logic application-specific integrated circuit electronics engineering electrical engineering computer engineering integrated circuits electronic design adel sedra control engineering