 | 1991 |
|---|
| 9 |       | Louis J. Hafer:
Constraint improvements for MILP-based hardware synthesis.
DAC 1991: 14-19 |
| 1990 |
|---|
| 8 | | Godfried M. Swinkels,
Louis J. Hafer:
Schematic generation with an expert system.
IEEE Trans. on CAD of Integrated Circuits and Systems 9(12): 1289-1306 (1990) |
| 1988 |
|---|
| 7 | | M. Stella Atkins,
Louis J. Hafer,
Patrick Leung:
Robots in the laboratory.
SIGCSE 1988: 36-40 |
| 1983 |
|---|
| 6 | | Louis J. Hafer,
Alice C. Parker:
A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic.
IEEE Trans. on CAD of Integrated Circuits and Systems 2(1): 4-18 (1983) |
| 1982 |
|---|
| 5 | | Louis J. Hafer,
Alice C. Parker:
Automated Synthesis of Digital Hardware.
IEEE Trans. Computers 31(2): 93-109 (1982) |
| 1981 |
|---|
| 4 | | Louis J. Hafer,
Alice C. Parker:
A formal method for the specification, analysis, and design of register-transfer level digital logic.
DAC 1981: 846-853 |
| 1979 |
|---|
| 3 | | Alice C. Parker,
Donald E. Thomas,
Daniel P. Siewiorek,
Mario Barbacci,
Louis J. Hafer,
G. W. Leive,
Jinchoon Kim:
The CMU design automation system: An example of automated data path design.
DAC 1979: 73-80 |
| 1978 |
|---|
| 2 | | Louis J. Hafer,
Alice C. Parker:
Register-transfer level digital design automation: The allocation process.
DAC 1978: 213-219 |
| 1 |  | Alice C. Parker,
Louis J. Hafer:
The Application of a Hardware Descriptive Language for Design Automation.
Jerusalem Conference on Information Technology 1978: 349-355 |
Data released under the ODC-BY 1.0 license — See also our legal information page