W. J. Paul
4 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.
On the Architecture of System Verification Environments
M. A. Hillebrand and others (2007) · Springer Berlin Heidelberg
Dealing with I/O devices in the context of pervasive system verification
Mark A. Hillebrand and others (2005) · Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design · Institute of Electrical and Electronics Engineers
Proving the correctness of pipelined micro-architectures
D. Kroening and others (2000) · MBMV
On the design of IEEE compliant floating point units
Guy Even and others (1997)