US8719742B2 - Conversion of Circuit Description to an Abstract Model of the Circuit