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

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

Formal Verification Of Floating-point Hardware Design A Mathematical

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

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

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

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

Nir Piterman | Hardware And Software: Verification And Testing |

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

Hardware And Software: Verification And Testing 12th International

T. Melham | Higher Order Logic And Hardware Verification | Taschenbuch