Louis J. Hafer

Publication Activity (10 Years)

Years Active: 1978-1991
Publications (10 Years): 0

Publications

Louis J. Hafer
Constraint improvements for MILP-based hardware synthesis. DAC (1991)
Godfried M. Swinkels, Louis J. Hafer
Schematic generation with an expert system. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9 (12) (1990)
M. Stella Atkins, Louis J. Hafer, Patrick Leung
Robots in the laboratory. SIGCSE (1988)
Louis J. Hafer, Alice C. Parker
A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2 (1) (1983)
Louis J. Hafer, Alice C. Parker
Automated Synthesis of Digital Hardware. IEEE Trans. Computers 31 (2) (1982)
Louis J. Hafer, Alice C. Parker
A formal method for the specification, analysis, and design of register-transfer level digital logic. DAC (1981)
Alice C. Parker, Donald E. Thomas, Daniel P. Siewiorek, Mario Barbacci, Louis J. Hafer, Gary W. Leive, Jinchoon Kim
The CMU design automation system: An example of automated data path design. DAC (1979)
Louis J. Hafer, Alice C. Parker
Register-transfer level digital design automation: The allocation process. DAC (1978)
Alice C. Parker, Louis J. Hafer
The Application of a Hardware Descriptive Language for Design Automation. Jerusalem Conference on Information Technology (1978)