Michael C. McFarland - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

1995

Symbolic analysis and verification of CPA descriptionsMichael C. McFarland, Thaddeus J. Kowalski. charme 1995: 103-123

1993

Formal Analysis of Correctness of Behavioral TransformationsMichael C. McFarland. fmsd, 2(3):231-257, 1993.

Military to Commercial Conversion: Is it Necessary, Is it Practical, Is it Possible? (Panel Abstract)Michael C. McFarland. dac 1993: 589 [doi]

Formal verification of sequential hardware: a tutorialMichael C. McFarland. tcad, 12(5):633-654, 1993. [doi]

1992

Broadening the basis for ethical analysisMichael C. McFarland. jss, 17(1):39-40, 1992. [doi]

1991

Intellectual Property (Panel Abstract)Michael C. McFarland. dac 1991: 186

Specifying System Behavior in CPAMichael C. McFarland, Thaddeus J. Kowalski. iccd 1991: 342-345

Ethics and the Safety of Computer SystemsMichael C. McFarland. Computer, 24(2):72-75, 1991.

1990

Incorporating bottom-up design into hardware synthesisMichael C. McFarland, Thaddeus J. Kowalski. tcad, 9(9):938-950, 1990. [doi]

Urgency of Ethical Standards Intensifies in Computer CommunityMichael C. McFarland. Computer, 23(3):77-81, 1990.

The high-level synthesis of digital systemsMichael C. McFarland, Alice C. Parker, Raúl Camposano. pieee, 78(2):301-318, 1990. [doi]

1989

The Social Implications of Computerization: Making the Technology HumaneMichael C. McFarland. dac 1989: 129-134 [doi]

A fast floor planning algorithm for architectural evaluationMichael C. McFarland. iccd 1989: 96-99 [doi]

1988

Tutorial on High-Level SynthesisMichael C. McFarland, Alice C. Parker, Raul Camposano. dac 1988: 330-336 [doi]

1986

Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptionsMichael C. McFarland. dac 1986: 474-480 [doi]

Knowledge Engineering Issues in VLSI SynthesisW. H. Wolf, Thaddeus J. Kowalski, Michael C. McFarland. AAAI 1986: 866-871

1983

An Abstract Model of Behavior for Hardware DescriptionsMichael C. McFarland, Alice C. Parker. TC, 32(7):621-637, 1983.

Computer-aided partitioning of behavioral hardware descriptionsMichael C. McFarland. dac 1983: 472-478 [doi]

1981

On proving the correctness of optimizing transformations in a digital design automation systemMichael C. McFarland. dac 1981: 90-97 [doi]

Sign in or sign up to see more results.

runs on WebDSL