Travelled to:2 × USA
Collaborated with:L.C.W.Jr. ∅
Talks about:design (2) scald (2) constraint (1) subsystem (1) structur (1) system (1) physic (1) comput (1) verif (1) logic (1)
Person: Thomas M. McWilliams
DBLP: McWilliams:Thomas_M=
Contributed to:
19801978Wrote 3 papers:
- DAC-1980-McWilliams #constraints #scalability #verification
- Verification of timing constraints on large digital systems (TMM), pp. 139–147.
- DAC-1978-McWilliamsW #design #logic #named
- SCALD: Structured Computer-Aided Logic Design (TMM, LCWJ), pp. 271–277.
- DAC-1978-McWilliamsW78a #design #physics
- The SCALD physical design subsystem (TMM, LCWJ), pp. 278–284.