A short list of some companies that are employing Dafocus code generators in the development of their product lines.