BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
A.C.Parker J.T.Pizarro F.J.Kurdahi R.Jain K.Küçükçakar
Talks about:
synthesi (3) methodolog (1) transfer (1) datapath (1) program (1) general (1) system (1) regist (1) experi (1) design (1)

Person: Mitch J. Mlinar

DBLP DBLP: Mlinar:Mitch_J=

Contributed to:

DAC 19891989
DAC 19861986
DAC 19841984

Wrote 3 papers:

DAC-1989-JainKMP #experience #synthesis
Experience with ADAM Synthesis System (RJ, KK, MJM, ACP), pp. 56–61.
DAC-1986-ParkerPM #named #synthesis
MAHA: a program for datapath synthesis (ACP, JTP, MJM), pp. 461–466.
DAC-1984-ParkerKM #design #synthesis #verification
A general methodology for synthesis and verification of register-transfer designs (ACP, FJK, MJM), pp. 329–335.

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.