H. Eveking

6 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.

Formal verification of hardware designs

D. Borrione and others (1995) · Journal of the Brazilian Computer Society, Special Issue on Electronic Design Automation

CHARME: Towards formal design and verification for provably correct VLSI hardware

L. Claesen and others (1992) · Proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies

Verification, synthesis and correctness-preserving transformations - cooperative approaches to correct hardware design

H. Eveking (1987) · From HDL Descriptions to Guaranteed Correct Circuit Designs · North-Holland

Formal Verification of Synchronous Systems

H. Eveking (1986) · Formal Aspects of VLSI Design: Proceedings of the 1985 Edinburgh Workshop on VLSI

The application of CHDLs to the abstract specification of hardware

H. Eveking (1985) · NorthHolland

The application of Conlan assertions to the correct description of hardware

H. Eveking (1981) · Proceedings of the IFIP TC-10 Fifth International Conference on Computer Hardware Description Languages and their Applications