BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
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 DBLP: McWilliams:Thomas_M=

Contributed to:

DAC 19801980
DAC 19781978

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.