Termite: Automatic Synthesis of Device Drivershttp://ssrg.nicta.com.au/projects/TS/drivers/synthesis by jdc • 12 years ago 1 0 12 years agoSSssrg.nicta.com.au