Travelled to:3 × USA
Collaborated with:∅
Talks about:cellular (2) analysi (2) time (2) techniqu (1) theoret (1) program (1) reduct (1) partit (1) verif (1) model (1)
Person: Robert B. Hitchcock Sr.
DBLP: Sr.:Robert_B=_Hitchcock
Facilitated 4 volumes:
EdEdEdEdContributed to:
198219701969Wrote 3 papers:
- DAC-1982-Sr #analysis #verification
- Timing Verification and the Timing Analysis program (RBHS), pp. 594–604.
- DAC-1970-Sr #analysis #clustering #graph #logic #reduction
- Partitioning of logic graphs: A theoretical analysis of pin reduction (RBHS), pp. 54–63.
- DAC-1969-Sr #modelling
- Cellular wiring and the cellular modeling technique (RBHS), pp. 25–41.