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

Laurence Pierre (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

Hardware And Software: Verification And Testing 13th International

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

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

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

Willem-paul De Roever (u. A.) | Concurrency Verification | Buch |

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

Formal Verification Of Floating-point Hardware Design A Mathematical

Nir Piterman | Hardware And Software: Verification And Testing |

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

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