Louis J. Hafer

According to our database, Louis J. Hafer authored at least 8 papers between 1978 and 1991.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1991

Constraint improvements for MILP-based hardware synthesis.

Louis J. Hafer

Proceedings of the 28th Design Automation Conference, 1991

1990

Schematic generation with an expert system.

Godfried M. Swinkels, Louis J. Hafer

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990

1988

Robots in the laboratory.

M. Stella Atkins, Louis J. Hafer, Patrick Leung

Proceedings of the 19th SIGCSE Technical Symposium on Computer Science Education, 1988

1983

A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic.

Louis J. Hafer, Alice C. Parker

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1983

1982

Automated Synthesis of Digital Hardware.

Louis J. Hafer, Alice C. Parker

IEEE Trans. Computers, 1982

1979

The CMU design automation system: An example of automated data path design.

Alice C. Parker, Donald E. Thomas, Daniel P. Siewiorek, Mario Barbacci, Louis J. Hafer, Gary W. Leive, Jinchoon Kim

Proceedings of the 16th Design Automation Conference, 1979

1978

The Application of a Hardware Descriptive Language for Design Automation.

Alice C. Parker, Louis J. Hafer

Proceedings of the Information Technology '78: Proceedings of the 3rd Jerusalem Conference on Information Technology (JCIT3), 1978

Register-transfer level digital design automation: The allocation process.

Louis J. Hafer, Alice C. Parker

Proceedings of the 15th Design Automation Conference, 1978