David Hoenig

According to our database, David Hoenig authored at least 1 paper in 2008.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of seven.

2008

Janus: A novel use of Formal Verification for targeted behavioral equivalence.

Prakash Math, David Hoenig

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2008