Zum Inhalt springen

  1. Kurup, Pran [VerfasserIn]; Abbasi, Taher [VerfasserIn]

    Logic synthesis using Synopsys

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Boston [u.a.]: Kluwer Academic Publishers, c 1995

  2. Mantooth, H. Alan [VerfasserIn]; Fiegenbaum, Mike [VerfasserIn]

    Modeling with an analog hardware description language - [3. print.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Boston [u.a.]: Kluwer Academic, 1996

    Erschienen in: Kluwer international series in engineering and computer science ; Analog circuits and signal processing

  3. Milne, George J. [HerausgeberIn] ; International Federation for Information Processing Working Group Digital Systems Descriptions and Design Tools, Advanced Research Working Conference on Correct Hardware Design Methodologies 1993 Arles

    Correct hardware design and verification methods : IFIP WG 10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24 - 26, 1993; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1993

    Erschienen in: Lecture notes in computer science ; 683

  4. Biswas, Nripendra Nath [VerfasserIn]

    Logic design theory

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Englewood Cliffs, NJ: Prentice-Hall, 1993

  5. MacMillan, Kenneth L. [VerfasserIn] ; McMillan, Kenneth L. [Sonstige Person, Familie und Körperschaft]

    Symbolic model checking

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Boston [u.a.]: Kluwer Academic, 1993

  6. Baker, Louis [VerfasserIn]

    VHDL programming : with advanced topics

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York [u.a.]: Wiley, 1993

    Erschienen in: Wiley professional computing