Collaborated with:
∅
Talks about:
prototyp
(1)
design
(1)
verif
(1)
earli
(1)
tool
(1)
Person:
Pat Lamey
DBLP: Lamey:Pat
Contributed to:
1986
Wrote 1 papers:
DAC-1986-Lamey
#design
#prototype
#verification
Early verification of prototype tooling for IC designs (
PL
), pp. 819–822.
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
.