High abstraction level CAD tool implementation of MOS drain current models