Concepedia

Michael C. McFarland

MC

5

Publications

370

Citations

5

H-Index

1981

Active since

Affiliations

Boston College(Current)

Michael C. McFarland is an author at Boston College specializing in formal methods, engineering, and computer engineering.

Top concepts

EngineeringFormal MethodsDesignFormal VerificationComputer EngineeringVerificationDigital DesignSoftware DesignSystem SoftwareComputer Science

Publications per year

1981–1993

5

Publications

5

Tutorial on high-level synthesis

Michael C. McFarland, Alice C. Parker, Raúl Camposano · 1988 · 288 citations

Abstract Behavioral Specification, Engineering, Register-transfer Level Structure +16

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

Michael C. McFarland · Proceedings of the 23rd ACM/IEEE conference on Design automation - DAC '86 · 1986 · 47 citations

Hardware Modeling, Engineering, Electronic Design Automation +21

Formal analysis of correctness of behavioral transformations

Michael C. McFarland · Formal Methods in System Design · 1993 · 15 citations

Formal Specification, Engineering, Formal Modeling +7

The Public Health, Safety and Welfare: An Analysis of the Social Responsibilities of Engineers

Michael C. McFarland · IEEE Technology and Society Magazine · 1986 · 10 citations

On Proving the Correctness of Optimizing Transformations in a Digital Design Automation System

Michael C. McFarland · Design Automation Conference · 1981 · 10 citations

Hardware Modeling, Engineering, Optimizing Transformations +27

Rows per page

1–5 of 5