Intermediate representations for controllers in chip generators. - Kyle Kelley; Megan Wachs; Andrew Danowitz; P. Stevenson; Stephen Richardson; Mark Horowitz (DATE, 2011)