Michael C. McFarland

Author

Also Known As

Michael C. McFarland, Michael McFarland

Publications

371

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	360
2	Computer Engineering	3	3	345
3	Computer Science	2	2	298
4	Systems Engineering	2	2	298
5	Social Sciences	1	1	47

Michael C. McFarland

Publications

370

Citations

H-Index

Page 1

	Year	Citations
Tutorial on high-level synthesis Michael C. McFarland, Alice C. Parker, Raúl Camposano Abstract Behavioral SpecificationEngineeringRegister-transfer Level StructureComputer ArchitectureSystem Synthesis	1988	288
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 Hardware ModelingEngineeringElectronic Design AutomationEvolvable HardwareElectronic Design	1986	47
Formal analysis of correctness of behavioral transformations Michael C. McFarland Formal Methods in System Design Formal SpecificationEngineeringFormal ModelingAutomated ReasoningVerification	1993	15
The Public Health, Safety and Welfare: An Analysis of the Social Responsibilities of Engineers Michael C. McFarland IEEE Technology and Society Magazine	1986	10
On Proving the Correctness of Optimizing Transformations in a Digital Design Automation System Michael C. McFarland Design Automation Conference Hardware ModelingEngineeringOptimizing TransformationsElectronic Design AutomationVerification	1981	10

Page 1