Travelled to:2 × USA
Collaborated with:P.Ng W.Glauert D.Clary S.Sapiro
Talks about:system (2) interact (1) paramet (1) extract (1) circuit (1) symbol (1) design (1) verif (1) vlsi (1) time (1)
Person: Robert Kirk
DBLP: Kirk:Robert
Contributed to:
19811980Wrote 2 papers:
- DAC-1981-NgGK #parametricity #verification
- A timing verification system based on extracted MOS/VLSI circuit parameters (PN, WG, RK), pp. 288–292.
- DAC-1980-ClaryKS #design #interactive
- SIDS (A Symbolic Interactive Design System) (DC, RK, SS), pp. 292–295.