by Subject
This could be controversial! Some establishments may occur under several
headings, others may not appear. This reflects the state of my knowledge
at time of writing. Please feel free to correct any entries.
NB This section is far from complete.
Current thoughts:
CAD
Chips (excluding microprocessors)
DSP
Formal Methods
FPGAs
Microprocessors
Petri Nets/STGs
Synthesis
Tools
Verification