Hans-Jörg Peter

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Improving the Efficiency of Formal Verification: The Case of Clock-Domain Crossings

Guillaume Plassan and others (2017) · IFIP advances in information and communication technology · Springer Science+Business Media

Conclusively verifying clock-domain crossings in very large hardware designs

Guillaume Plassan and others (2016) · IFIP/IEEE International Conference on Very Large Scale Integration