Login / Signup
Mark Hofmann
Publication Activity (10 Years)
Years Active: 1983-2014
Publications (10 Years): 0
Top Topics
High Power
Wireless Transmission
Logic Circuits
Nm Technology
Top Venues
ISLPED
SoCC
</>
Publications
</>
Sridhar Srinivasan
,
Ellis Cohen
,
Mark Hofmann
A new approach using symbolic analysis to compute path-dependent effective properties preserving hierarchy.
SoCC
(2014)
Jérôme Lescot
,
Vincent Bligny
,
Dina Medhat
,
Didier Chollat-Namy
,
Ziyang Lu
,
Sophie Billy
,
Mark Hofmann
Static low power verification at transistor level for SoC design.
ISLPED
(2012)
Mark Hofmann
,
Ulrich Lauther
HEX: An instruction-driven approach to feature extraction.
DAC
(1983)