Knowledge based CAD and microelectronics