Michael (Mac) McNamara是Chronologic Simulation的早期员工，该公司将VCS(编译的Verilog模拟)带到了世界。Chronologic的灵感来自于殷实计算机公司的工作，他们使用Verilog-XL来验证他们正在设计的计算机系统，但由于商业模拟器的缓慢而受挫。
1994年，在将Chronologic卖给Viewlogic(然后又卖给Synopsys)后，麦克纳马拉意识到生产率的下一个障碍是验证过程中缺乏自动化。SureFire Verification成立于1996年，开发用于测量测试覆盖率的工具，执行静态验证以及进行自动测试生成。这是可信的。
在Cadence收购Verisity之后，McNamara领导了改进高级设计的工作，开发了C-to-Silicon编译器和虚拟系统平台工具。
2009年，John Sanguinetti成立了一家名为HighIP Design的公司，专注于将高级合成应用于数字IP的创作。McNamara喜欢这个想法，但他相信，通过应用完整的TLM设计和验证方法，可以实现额外的客户价值和IP生产效率。该公司被重新命名为Adapt-IP，认识到大多数对购买IP感兴趣的客户都想要一些定制，并且需要验证这些定制。
Adapt-IP收购了Vreelin，该公司是集成电路IP和设备驱动程序的开发商，为包括IBM, Conexant和FWB在内的公司合同，生产包括USB V.90调制解调器，USB ADSL调制解调器在内的设备，并在过去二十年为许多客户特定的项目提供USB 2.0高速FPGA核心。
McNamara曾任职于DAC执行委员会和IEEE的设计自动化标准委员会。
康奈尔大学电气工程学士学位和计算机体系结构学士学位
