Laurence Pierre (u. A.) | Correct Hardware Design And Verification

Wolfgang Paul (u. A.) | Correct Hardware Design And Verification

Rachel Tzoref-brill (u. A.) | Hardware And Software: Verification And

T. F. Melham (u. A.) | Higher Order Logic And Hardware Verification |

Hardware/software Co-design And Co-verification 1229

Systemverilog For Hardware Description Rtl Design And Verification

Pierre-olivier Laurence (u. A.) | Programming Android With Kotlin |

Hardware Verification With System Verilog | Robert Ekendahl (u. A.) |

Sunita Joshi (u. A.) | The E Hardware Verification Language |

Michael A. Arbib (u. A.) | The Design Of Well-structured And Correct

Formal Verification Of Floating-point Hardware Design A Mathematical

Juan C. Torres (u. A.) | Design, Specification And Verification Of...

Hardware/Software Co-Design and Co-Verification, Fachbücher

Jordi Cortadella (u. A.) | Concurrency And Hardware Design |

Eran Yahav | Hardware And Software: Verification And Testing |

Hardware And Software: Verification And Testing 10th International