Mark Hofmann

According to our database, Mark Hofmann authored at least 4 papers between 1983 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

A new approach using symbolic analysis to compute path-dependent effective properties preserving hierarchy.

Sridhar Srinivasan, Ellis Cohen, Mark Hofmann

Proceedings of the 27th IEEE International System-on-Chip Conference, 2014

2012

Static low power verification at transistor level for SoC design.

Jérôme Lescot, Vincent Bligny, Dina Medhat, Didier Chollat-Namy, Ziyang Lu, Sophie Billy, Mark Hofmann

Proceedings of the International Symposium on Low Power Electronics and Design, 2012

1987

Delay Optimization of Combinational Static CMOS Logic.

Mark Hofmann, Jae K. Kim

Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28, 1987

1983

HEX: An instruction-driven approach to feature extraction.

Mark Hofmann, Ulrich Lauther

Proceedings of the 20th Design Automation Conference, 1983