Specification of a Core Model for Netlist