Model Generation in Electronic Design