Michael C. McFarland

According to our database, Michael C. McFarland authored at least 19 papers between 1981 and 1995.

Collaborative distances:

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

1995

Symbolic analysis and verification of CPA descriptions.

Michael C. McFarland, Thaddeus J. Kowalski

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1993

Formal verification of sequential hardware: a tutorial.

Michael C. McFarland

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

Formal Analysis of Correctness of Behavioral Transformations.

Michael C. McFarland

Formal Methods Syst. Des., 1993

Military to Commercial Conversion: Is it Necessary, Is it Practical, Is it Possible? (Panel Abstract).

Michael C. McFarland

Proceedings of the 30th Design Automation Conference. Dallas, 1993

1992

Broadening the basis for ethical analysis.

Michael C. McFarland

J. Syst. Softw., 1992

1991

Ethics and the Safety of Computer Systems.

Michael C. McFarland

Computer, 1991

Specifying System Behavior in CPA.

Michael C. McFarland, Thaddeus J. Kowalski

Proceedings of the Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1991

Intellectual Property (Panel Abstract).

Michael C. McFarland

Proceedings of the 28th Design Automation Conference, 1991

1990

Incorporating bottom-up design into hardware synthesis.

Michael C. McFarland, Thaddeus J. Kowalski

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

The high-level synthesis of digital systems.

Michael C. McFarland, Alice C. Parker, Raúl Camposano

Proc. IEEE, 1990

Urgency of Ethical Standards Intensifies in Computer Community.

Michael C. McFarland

Computer, 1990

1989

A fast floor planning algorithm for architectural evaluation.

Michael C. McFarland

Proceedings of the Computer Design: VLSI in Computers and Processors, 1989

The Social Implications of Computerization: Making the Technology Humane.

Michael C. McFarland

Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989

1988

Tutorial on High-Level Synthesis.

Michael C. McFarland, Alice C. Parker, Raul Camposano

Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1986

Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions.

Michael C. McFarland

Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

Knowledge Engineering Issues in VLSI Synthesis.

Wayne H. Wolf, Thaddeus J. Kowalski, Michael C. McFarland

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1983

An Abstract Model of Behavior for Hardware Descriptions.

Michael C. McFarland, Alice C. Parker

IEEE Trans. Computers, 1983

Computer-aided partitioning of behavioral hardware descriptions.

Michael C. McFarland

Proceedings of the 20th Design Automation Conference, 1983

1981

On proving the correctness of optimizing transformations in a digital design automation system.

Michael C. McFarland

Proceedings of the 18th Design Automation Conference, 1981