Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
checker (1) unifi (1) shape (1) check (1) tool (1) lsi (1)
Person: Carl R. McCaw
DBLP: McCaw:Carl_R=
Contributed to:
Wrote 1 papers:
- DAC-1979-McCaw
- Unified Shapes Checker — a checking tool for LSI (CRM), pp. 81–87.