Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Michael P. Nassif

Evaluation of the Larch/VHDL Interactive Prover in Hardware Verification

1997English

Related publications

Verification of Timing Properties of VHDL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Student Use of an Interactive Theorem Prover

Contemporary Mathematics
Mathematics
1984English

Semantics of a Verification-Oriented Subset of VHDL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

How to Avoid the Formal Verification of a Theorem Prover

Logic Journal of the IGPL
Philosophy
2001English

VeriTrust: Verification for Hardware Trust

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
2015English

Hardware-Software Complex «Interactive Whiteboard»

Science and Education a New Dimension
2019English

The Role of Verification in Interactive Systems Design

Design, Specification and Verification of Interactive Systems ’98
1998English

Embedded Software Verification in Hardware–software Codesign

Journal of Systems Architecture
HardwareArchitectureSoftware
2000English

Hardware Verification: Techniques, Methodology and Solutions

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy