BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
4 × USA
Collaborated with:
A.C.Parker D.E.Thomas D.P.Siewiorek M.Barbacci G.W.Leive J.Kim
Talks about:
design (4) autom (3) transfer (2) regist (2) level (2) digit (2) constraint (1) synthesi (1) process (1) hardwar (1)

Person: Louis J. Hafer

DBLP DBLP: Hafer:Louis_J=

Contributed to:

DAC 19911991
DAC 19811981
DAC 19791979
DAC 19781978

Wrote 4 papers:

DAC-1991-Hafer #constraints #hardware #synthesis
Constraint improvements for MILP-based hardware synthesis (LJH), pp. 14–19.
DAC-1981-HaferP #analysis #design #formal method #logic #specification
A formal method for the specification, analysis, and design of register-transfer level digital logic (LJH, ACP), pp. 846–853.
DAC-1979-ParkerTSBHLK #automation #design
The CMU design automation system: An example of automated data path design (ACP, DET, DPS, MB, LJH, GWL, JK), pp. 73–80.
DAC-1978-HaferP #automation #design #process
Register-transfer level digital design automation: The allocation process (LJH, ACP), pp. 213–219.

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.