Ouiza Dahmoune

Model Checker to FPGA Prototype Commmunication Bottleneck Issue

Ouiza Dahmoune, Robert de B. Johnston, 2011, 2011 12th International Workshop on Microprocessor Test and Verification.

Applying Model-Checking to Post-Silicon-Verification: Bridging the Specification-Realisation Gap

Ouiza Dahmoune, Robert de B. Johnston, 2010, 2010 International Conference on Reconfigurable Computing and FPGAs.

Overview of Applying Reachability Analysis to Verifying a Physical Microprocessor

Ouiza Dahmoune, Robert de B. Johnston, R. Johnston, 2011, 2011 12th International Workshop on Microprocessor Test and Verification.

An Embedded Reachability Analyzer and Invariant Checker (ERAIC)

Ouiza Dahmoune, Robert de B. Johnston, R. Johnston, 2010, 2010 11th International Workshop on Microprocessor Test and Verification.