M.C. McFarland

The high-level synthesis of digital systems

M.C. McFarland, Alice C. Parker, Raúl Camposano · Proceedings of the IEEE · 1990 · 623 citations

Logic Synthesis, High-level Programming Language, Engineering +15

Incorporating bottom-up design into hardware synthesis

M.C. McFarland, Thaddeus J. Kowalski · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1990 · 119 citations

Hardware Modeling, Engineering, Electronic Design Automation +21

Using Bottom-Up Design Techniques in the Synthesis of Digital Hardware from Abstract Behavioral Descriptions

M.C. McFarland · 23rd ACM/IEEE Design Automation Conference · 1986 · 63 citations

Hardware Modeling, Engineering, Electronic Design Automation +21

Formal verification of sequential hardware: a tutorial

M.C. McFarland · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1993 · 58 citations

Engineering, Hardware Verification Language, Verification +20

Computer-Aided Partitioning of Behavioral Hardware Descriptions

M.C. McFarland · 20th Design Automation Conference Proceedings · 1983 · 32 citations

Hardware Modeling, Engineering, Hardware Verification Language +19