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: Hafer:Louis_J=
Contributed to:
1991198119791978Wrote 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.